Publikationsansicht

Induction is not derivable in second order dependent (2007)

Abstract

type theory

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.26.957
Quelle	http://www.cs.kun.nl/~herman/IndNonder.ps.gz
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.56.7045, 10.1.1.50.5058, 10.1.1.41.6955