Realizability toposes from specifications

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

Standard

Realizability toposes from specifications. / Frey, Jonas.

I: Leibniz International Proceedings in Informatics, Bind 38, 2015, s. 196-210.

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

Harvard

Frey, J 2015, 'Realizability toposes from specifications', Leibniz International Proceedings in Informatics, bind 38, s. 196-210. https://doi.org/10.4230/LIPIcs.TLCA.2015.196

APA

Frey, J. (2015). Realizability toposes from specifications. Leibniz International Proceedings in Informatics, 38, 196-210. https://doi.org/10.4230/LIPIcs.TLCA.2015.196

Vancouver

Frey J. Realizability toposes from specifications. Leibniz International Proceedings in Informatics. 2015;38:196-210. https://doi.org/10.4230/LIPIcs.TLCA.2015.196

Author

Frey, Jonas. / Realizability toposes from specifications. I: Leibniz International Proceedings in Informatics. 2015 ; Bind 38. s. 196-210.

Bibtex

@inproceedings{ee45b84509814cbf97635bf8d556cc4a,
title = "Realizability toposes from specifications",
author = "Jonas Frey",
year = "2015",
doi = "10.4230/LIPIcs.TLCA.2015.196",
language = "English",
volume = "38",
pages = "196--210",
journal = "Leibniz International Proceedings in Informatics, LIPIcs",
issn = "1868-8969",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH",
note = "null ; Conference date: 01-10-2015",

}

RIS

TY - GEN

T1 - Realizability toposes from specifications

AU - Frey, Jonas

N1 - Conference code: 13

PY - 2015

Y1 - 2015

U2 - 10.4230/LIPIcs.TLCA.2015.196

DO - 10.4230/LIPIcs.TLCA.2015.196

M3 - Conference article

VL - 38

SP - 196

EP - 210

JO - Leibniz International Proceedings in Informatics, LIPIcs

JF - Leibniz International Proceedings in Informatics, LIPIcs

SN - 1868-8969

Y2 - 1 October 2015

ER -

ID: 146294441