Roberto Di Cosmo and Giuseppe Longo.
Constuctively equivalent propositions and isomorphisms of objects (or
terms as natural transformations).
In Moschovakis, editor, Logic from Computer Science, volume 21
of Mathematical Sciences Research Institute Publications, pages 73--94.
Springer Verlag, Berkeley, 1991.
[ bib |
This file was generated by