Advanced search    

Search: authors:"Auke B. Booij"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Parametricity, Automorphisms of the Universe, and Excluded Middle

, USA 2 Auke B. Booij School of Computer Science, University of Birmingham , Birmingham , UK 3 Peter LeFanu Lumsdaine Mathematics Department, Stockholm University , Stockholm , Sweden 4 Marti?n H. Escardo