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)