top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Combinatory logic / Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig
Combinatory logic / Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig
Autore Curry, Haskell B.
Pubbl/distr/stampa Amsterdam : North-Holland, 1958-1972
Descrizione fisica 2 v. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Feys, Robertauthor
Hindley, J. Roger
Seldin, Jonathan P.
Craig, William
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X
Soggetto topico Combinatory logic
ISBN 0720422086 (v. 2)
Classificazione AMS 03B40
QA9.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000759389707536
Curry, Haskell B.  
Amsterdam : North-Holland, 1958-1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The lambda calculus : its syntax and semantics / H. P. Barendregt
The lambda calculus : its syntax and semantics / H. P. Barendregt
Autore Barendregt, Hendrik Peter
Pubbl/distr/stampa Amsterdam : North-Holland, 1981
Descrizione fisica xiv, 615 p. : ill. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 103
Soggetto topico Combinatory logic and lambda-calculus
Lambda calculus
ISBN 0444854908
Classificazione AMS 03B40
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001056639707536
Barendregt, Hendrik Peter  
Amsterdam : North-Holland, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Bohm
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Bohm
Autore Istituto per le applicazioni del calcolo
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica xii, 370 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Bohm, C.
Soggetto topico Combinatory logic - Congresses
Lambda calculus
Programming languages - Congresses
ISBN 3540074163
Classificazione AMS 03-06
AMS 03B40
AMS 68-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001056669707536
Istituto per le applicazioni del calcolo  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Autore Homer, Steven
Pubbl/distr/stampa Berlin : Springer-Verlag, 1990
Descrizione fisica 162 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Nerode, Anil
Platek, Richard A.
Sacks, Gerald E.
Scedrov, Andre
Odifreddi, Piergiorgio
Collana Lecture notes in mathematics, 0075-8434 ; 1429
Soggetto topico Computer science - Congresses
Logic - Congresses
ISBN 3540527346
Classificazione AMS 03B20
AMS 03B40
AMS 03B70
AMS 03D15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001093939707536
Homer, Steven  
Berlin : Springer-Verlag, 1990
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
Autore Homer, Steven
Pubbl/distr/stampa Berlin : Springer, 1990
Descrizione fisica 1 online resource (v, 162 p.)
Disciplina 511.3
Altri autori (Persone) Odifreddi, Piergiorgio
Collana Lecture Notes in Mathematics, 0075-8434 ; 1429
Soggetto topico Mathematics
Computer science
Logic, Symbolic and mathematical
ISBN 9783540471356
Classificazione AMS 03B20
AMS 03B40
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002236799707536
Homer, Steven  
Berlin : Springer, 1990
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
I modelli del [lambda]-calcolo e dell'aritmetica di Peano / U. Maionchi, S. Berestovoy, G. Longo
Autore Maionchi. U.
Pubbl/distr/stampa [Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981
Descrizione fisica 96 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Berestovoy, S.
Longo, Giuseppe
Collana Quaderni dei Gruppi di ricerca matematica del Consiglio Nazionale delle Ricerche
Soggetto topico Combinatory logic
Lambda calculus
Classificazione AMS 03B40
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001150359707536
Maionchi. U.  
[Roma] : CNR (Consiglio Nazionale delle Ricerche), 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui