Login / Signup
Peter Lietz
Publication Activity (10 Years)
Years Active: 2002-2012
Publications (10 Years): 0
Top Topics
Computational Models
Sufficient Conditions
Relational Databases
Top Venues
Ann. Pure Appl. Log.
</>
Publications
</>
Peter Lietz
,
Thomas Streicher
Realizability models refuting Ishihara's boundedness principle.
Ann. Pure Appl. Log.
163 (12) (2012)
Peter Lietz
,
Thomas Streicher
Impredicativity entails Untypedness.
Math. Struct. Comput. Sci.
12 (3) (2002)