Contributed Talks::

Title: “Type Isomorphism and Program Isomorphism.” AMSMAA Joint Mathematics Meeting. San Antonio, TX, U.S.A., January 2006. Slides

Title: “Unification and Matching Modulo Type Isomorphism.” AMSMAA Joint Mathematics Meeting. Atlanta, GA, U.S.A., January 2005. Slides

Title: “Provable Isomorphism of type.” Computer Science Seminar. Wesleyan University, Middletown, CT, U.S.A., November 2004. Slides

Title: “Type Isomorphism: Efficient Algorithms.” Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., April 2004. Slides

Title: “Higher Order Matching in Simply Typed Lambda Calculus.” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., October 2002.

Title: “Complexity in Logical Design of Circuits.” Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., April 2001.

Title: “Quantum Logic interpreted as S4 Logic.” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., October 2000.

Title: “Algorithmic Number Theory: Greatest Common Divisor, Efficient Algorithms. Department of Mathematics and Computer Science. Wesleyan University, Middletown, CT, U.S.A., April 2000.

Title: “A brief overview of Algebraizability” Mathematics Graduate Seminar. Wesleyan University, Middletown, CT, U.S.A., October 1999.

Title: “Bimodal Logics Algebrizaibles” and “Commutation Lemma “ join with Guillermo Ortiz R. XI Simposio Latinoamericano de Lógica Matemática. Universidad del Valle, Mérida, Venezuela, July 1998.
Please refer to the following documents for further details and complete research experiences description:: List of Publications  Invated Talks  Notes and Others.
© 2012 Carlos C. Martínez  Generated by webgen