Pure type systems with explicit substitution

Research output: Contribution to journal › Article › Academic › peer-review

3 Citations (SciVal)

1 Downloads (Pure)

Original language	English
Pages (from-to)	3-19
Journal	Mathematical Structures in Computer Science
Volume	11
Issue number	1
DOIs	https://doi.org/10.1017/S096012950000325X
Publication status	Published - 2001

Access to Document

@article{9e377ae25f404b68b60da59042ac1b74,

title = "Pure type systems with explicit substitution",

author = "C.J. Bloo",

year = "2001",

doi = "10.1017/S096012950000325X",

language = "English",

volume = "11",

pages = "3--19",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "1",

}