AUT-QE without type inclusion

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

60 Downloads (Pure)

Originele taal-2	Engels
Titel	Selected Papers on Automath
Redacteuren	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Plaats van productie	Amsterdam
Uitgeverij	North-Holland Publishing Company
Pagina's	289-297
ISBN van geprinte versie	0-444-89822-0
Status	Gepubliceerd - 1994

Naam	Studies in logic and the foundations of mathematics
Volume	133
ISSN van geprinte versie	0049-237X

Toegang tot document

@inbook{fed89bedc87842839b418fa6c75023f1,

title = "AUT-QE without type inclusion",

author = "\{Bruijn, de\}, N.G.",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in logic and the foundations of mathematics",

publisher = "North-Holland Publishing Company",

pages = "289--297",

editor = "R.P. Nederpelt and J.H. Geuvers and \{Vrijer, de\}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}