Relating models of impredicative type theories
Jacobs, Bart ; Moggi, Eugenio ; Streicher, Thomas
Category Theory and Computer Science, 2005, p.197-218
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível