ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F

DSpace Repository

Show simple item record

dc.contributor.author Pistone, Paolo
dc.date.accessioned 2020-07-08T14:52:21Z
dc.date.available 2020-07-08T14:52:21Z
dc.date.issued 2019
dc.identifier.issn 1860-5974
dc.identifier.uri http://hdl.handle.net/10900/102451
dc.language.iso en en
dc.publisher Logical Methods Computer Science E V de_DE
dc.relation.uri http://dx.doi.org/10.23638/LMCS-15(4:6)2019
dc.subject.ddc 004 de_DE
dc.subject.ddc 610 de_DE
dc.title ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F de_DE
dc.type Artikel de_DE
utue.quellen.id 20200409032300_02008
utue.personen.roh Pistone, Paolo
dcterms.isPartOf.ZSTitelID Logical Methods in Computer Science de_DE
dcterms.isPartOf.ZS-Issue Article 6 de_DE
dcterms.isPartOf.ZS-Volume 15 de_DE
utue.fakultaet 07 Mathematisch-Naturwissenschaftliche Fakultät


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record