Contributed Talks::
-
Title: “Type Isomorphism and Program Isomorphism.” AMS-MAA Joint Mathematics Meeting. San Antonio, TX, U.S.A., January 2006. Slides
-
Title: “Unification and Matching Modulo Type Isomorphism.” AMS-MAA 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