ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F

Autor(en):

Pistone, Paolo

Tübinger Autor(en):

Erschienen in:

Logical Methods in Computer Science (2019), Bd. 15, Article 6

Verlagsangabe:

Logical Methods Computer Science E V

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1860-5974

DDC-Klassifikation:

004 - Informatik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: