Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Logical Environments

by Huet, Gerard. Ed | Plotkin, Gordon, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUE.

Place hold Log in to add tags
BOOKS
Proof, language and interaction: essays in honour of Robin Milner

by Plotkin, Gordon | Stirling, Colin | Tofte, Mads.

Series: Foundations of computingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PLO.

Place hold Log in to add tags
E-BOOKS
Semantics of Data Types [electronic resource] : International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings / edited by Gilles Kahn, David B. MacQueen, Gordon Plotkin.

by Kahn, Gilles [editor.] | MacQueen, David B [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 173Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Transactions on Computational Systems Biology VI [electronic resource] / edited by Corrado Priami, Gordon Plotkin.

by Priami, Corrado [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4220Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by Dezani-Ciancaglini, Mariangiola [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 902Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha