Fabregas Álfaro, Ignacio
Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Baader,F; Nipkow, T (2006) Term rewriting and all that
-
HP Barendregt (2004) The Lambda Calculus: Its Syntax and Semantics:
-
Clavel, M (2007) All about Maude - A high performance logical framework
-
Clavel, M (2007) All about Maude - A high performance logical framework [Libro-e]
-
Girard, J.Y; Lafont, Y; Taylor, P (1991) Proofs and Types. Cambridge Tracts in Theoretical Computer Science [Articulo-e]
-
Hindley, R (1997) Basic simple type theory
-
Mitchell, J.C (1996) Foundations for programming languages
-
HR Nielson, F Nielson (2007) Semantics with applications : an appetizer [LIbro-e]
-
Semantics with applications : an appetizer
-
Pierce, B (2002) Types and programming languages
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
