A Notion of Classical Pure Type Systems

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Original language	English
Title of host publication	Mathematical foundations of programming semantics
Publisher	Elsevier
Publication date	1997
Publication status	Published - 1997

Cite this

@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",

}