Peter Lietz

Affiliations:

According to our database¹, Peter Lietz authored at least 2 papers between 2002 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

Realizability models refuting Ishihara's boundedness principle.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

2002

Impredicativity entails Untypedness.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002