Resources::
Research Papers::
Some seminal papers within current research interest,
- Roberto Di Cosmo, (1995), Isomorphisms of Types: from Lambda-calculus to information retrieval and languages design Boston Birkhaeuser.
- Dezani-Ciancaglini, M. (1976), Characterization of Normal Forms Possesing Inverse in the $beta eta$-Calculus, Theoretical Computer Science. Vol. 2, pp. 323-337
- Huet, G. & Lang, B. (1978), Proving and applying program transformations expressed with second-order patterns, Acta Informatica.. Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong Vol. 11(1), pp. 31-55. Springer-Verlag.
Extend Bibliographical References:: BibTeX
By topics::
- Lambda Calculus, BibTeX
- Higher Order Unification, BibTeX
- Higher Order Matching, BibTeX
- Type Isomorphisms, BibTeX
- Programming. BibTeX
- Automated Proofs. BibTex
“Ideological” Papers:: Manifestos and Principles
- John Hughes, Why Functional Programming Matters, Paper
- Dan Chalmers, Matthew Chalmers, Jon Crowcroft, Marta Kwiatkowska, Robin Milner, Eamonn O’Neill, Tom Rodden, Vladimiro Sassone, Morris Sloman, Ubiquitous Computing: Experience, Design and Science, Paper
- Philip Wadler, Proofs are Programs: 19th Century Logic and 21st Century Computing, Paper
- Henk Barendregt and Freek Wiedijk, The Challenge of Computer Mathematics, Paper
- Wolfgang Thomas, Logic for Computer Science: The Engineering Challenge, Paper
- Thomas C. Hales, Formal Proof, Paper
- John Harrison, Formal Proof - Theory and Practice, Paper
- R. Boyer et al. The QED Manifesto., Paper
Programming Tools:: Proof Assistant, Functional Programming, IDEs, Virtualization, Linux OS, Type Setting.
The Wild Bunch:: Theoretical Computer Science Icons
© 2016 Carlos C. Martínez | Generated by webgen