Fulltext present in this item

Thumbnail
Fulltext: 34490.pdf
Format: PDF
Description: preprint version
Title: (In)consistency of Extensions of Higher Order Logic and Type Theory
Author(s): Geuvers, J.H.
Publication year: 2007
In: Altenkirch, Thorsten; McBride, Conor (ed.), Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 140-159
Publisher: Berlin ; New York : Springer
ISBN: 3540744649
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34490   https://hdl.handle.net/2066/34490

Display more details
Editor(s): Altenkirch, Thorsten; McBride, Conor
Subject: Foundations
Organization: Foundations
Book title: Altenkirch, Thorsten; McBride, Conor (ed.), Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Page start: p. 140
Page end: p. 159

This item appears in the following Collection(s)

Browse

Statistics