Subject
Computer Science Applications,General Mathematics,Software
Reference8 articles.
1. T. Altenkirch, M. Hofmann and T. Streicher, Categorical reconstruction of a reduction free normalisation proof, preliminary version, P. Dybjer and R. Pollacks, Eds., Proceedings CTCS '95, Springer,Lecture Notes in Computer Science953(1995) 182-199.
2. U. Berger and H. Schwichtenberg, An inverse to the evaluation functional for typedλ-calculus, inProc. of the 6th Annual IEEE Symposium of Logic in Computer Science(1991) 203-211.
3. D. Cubric', Embedding of a free Cartesian Closed Category in the Category of Sets.J. Pure and Applied Algebra(to appear).
4. R. Di Cosmo, Isomorphisms of Types, Birkhaeuser (1995).