Su búsqueda recuperó 12 resultados.

Resultados
		Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing por Poernomo, Iman Hafiz, 1976- [autor] \| Crossley, John Newsome [autor] \| Wirsing, M. (Martin) [autor]. Series Monographs in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 P63. Hacer reserva Agregar al carrito (remover)
		A lambda calculus satellite / Henk Barendregt, Giulio Manzonetto por Barendregt, H. P. (Hendrik Pieter) [autor] \| Manzonetto, Giulio [autor]. Series Studies in logic ; mathematical logic and foundations ; volume 94Tipo de material: Texto; Forma literaria: No es ficción Editor: [London] : College publications, [2022]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 B363. Hacer reserva Agregar al carrito (remover)
		Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien por Amadio, Roberto M [autor] \| Curien, Pierre-Louis [autor] \| University of Cambridge. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Cambridge : Cambridge University Press, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 A53. Hacer reserva Agregar al carrito (remover)
		Introduction to combinators and [lambda] calculus / J. Roger hindley, Jonathan p. seldin por Hindley, J. Roger [autor] \| Seldin, Jonathan P [autor] \| University of Cambridge. Series London Mathematical Society student textsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge Cambridge University Press, [massachusetts] : 1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 H55. Hacer reserva Agregar al carrito (remover)
		An introduction to functional programming through lambda calculus / Greg michaelson por Michaelson, Greg [autor]. Series International computer science seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Wokingham, england : Addison-wesley, 1988c1989Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Lambda calculi : a guide for computer scientists / Chris Hankin por Hankin, Chris [autor]. Series Graduate texts in computer science ; 3Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford Clarendon Press, [England] : 1994Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		The lambda calculus : Its syntax and semantics / H. p. barendregt por Barendregt, H. P. (Hendrik Pieter) [autor]. Series Studies in logic and the foundations fo mathematics ; v.103Edición: # rev. ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, holanda : North-holland, 1984Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		Language in action : Cateories, lambdas and dynamic logic / Johan van benthem por Benthem, J. F. A. K. van, 1949- [autor]. Series Studies in logic and the foundations of mathematics ; v. 130Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1991Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: P39 B45, ... Hacer reserva Agregar al carrito (remover)
		Language in action : categories, lambdas, and dynamic logic / Johan van Benthem. por Benthem, J. F. A. K. van, 1949- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Amsterdam : North-holland, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: P39 B45 1995. Hacer reserva Agregar al carrito (remover)
		Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Pawe Urzyczyn por Sørensen, Morten Heine [autor] \| Urzyczyn, Pawe [autor]. Series Studies in logic and the foundations of mathematics ; v. 149Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston, Massachusetts : Elsevier, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 S67. Hacer reserva Agregar al carrito (remover)
		Pattern calculus : computing with functions and structures / Barry Jay por Jay, Barry [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Dordrecht : Springer, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D35 J39. Hacer reserva Agregar al carrito (remover)
		Typed Lambda Calculi and Applications : 5th International Conference, TLCA'2001: Krakow, Poland, may 2-5, 2001 : proceedings / Samson Abramsky (ed.) por International Conference on Typed Lambda Calculi and Applications (5 : 2001 : Krakow, Poland) \| Abramsky, Samson, 1953- [editor]. Series Lecture notes in computer science ; 2044Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 I57 2001. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad