Grammars, terms and types

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Lambda Calculus with Types
Editors	H Barendregt, W Dekkers, R Statman
Place of Publication	Cambridge
Publisher	Cambridge University Press
Pages	363-375
Number of pages	13
ISBN (Print)	978-0-521-766-142
Publication status	Published - 2013

Name	Perspectives in Logic

Cite this

@inbook{c0eda35770fb4f64a7a2606a3730acd6,

title = "Grammars, terms and types",

author = "M.J. Moortgat",

year = "2013",

language = "English",

isbn = "978-0-521-766-142",

series = "Perspectives in Logic",

publisher = "Cambridge University Press",

pages = "363--375",

editor = "H Barendregt and W Dekkers and R Statman",

booktitle = "Lambda Calculus with Types",

address = "United Kingdom",

}