A Notion of Classical Pure Type Systems

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Mathematical foundations of programming semantics
Forlag	Elsevier
Publikationsdato	1997
Status	Udgivet - 1997

Electronic Notes in Computer Science, vol.6

Citationsformater

@inbook{43b65ed074cb11dbbee902004c4f4f50,

title = "A Notion of Classical Pure Type Systems",

author = "Gilles Barthe and John Hatcliff and S{\o}rensen, {Morten Heine}",

note = "Electronic Notes in Computer Science, vol.6",

year = "1997",

language = "English",

booktitle = "Mathematical foundations of programming semantics",

publisher = "Elsevier",

address = "Netherlands",

}