ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F

DSpace Repository

ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F

Author: Pistone, Paolo
Tübinger Autor(en):
Pistone, Paolo
Published in: Logical Methods in Computer Science (2019), Bd. 15, Article 6
Verlagsangabe: Logical Methods Computer Science E V
Language: English
Full text: http://dx.doi.org/10.23638/LMCS-15(4:6)2019
ISSN: 1860-5974
DDC Classifikation: 004 - Data processing and computer science
610 - Medicine and health
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)