skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Búsqueda General
Búsqueda Avanzada
Búsqueda por Índices

Domains and Lambda-Calculi

Roberto M. Curien, Pierre-Louis Bakker, J. W. de Amadio Roberto M Amadio; Pierre-Louis Curien; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 1998

Acceso en línea

Autentícate para publicar un comentario

Autentícate para Añadir nuevas etiquetas

Volver a la lista de resultados

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora