Skip to contents

Plotkin, Gordon [Other]; Milner, Robin [Honoree]

Proof, language, and interaction : essays in honour of Robin Milner

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.; London: MIT, 2000

Published in: Foundations of computing series
Lassez, Jean-Louis [Editor]; Robinson, Alan [Honoree]; Robinson, John Alan [Honoree]; Plotkin, Gordon [Editor]

Computational logic : essays in honor of Alan Robinson

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1991
Plotkin, Gordon [Other]

Transactions on Computational Systems Biology VI

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4220
Dezani-Ciancaglini, Mariangiola [Author] ; Plotkin, Gordon [Other]

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 902
Bacci, Giorgio [Author]; Mardare, Radu [Author]; Panangaden, Prakash [Author]; Plotkin, Gordon [Author] ; Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon Plotkin [Contributor]

Tensor of Quantitative Equational Theories

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Cockett, Robin [Author]; Cruttwell, Geoffrey [Author]; Gallagher, Jonathan [Author]; Lemay, Jean-Simon Pacaud [Author]; MacAdam, Benjamin [Author]; Plotkin, Gordon [Author]; Pronk, Dorette [Author] ; Robin Cockett and Geoffrey Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Benjamin MacAdam and Gordon Plotkin and Dorette Pronk [Contributor]

Reverse Derivative Categories

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Sauvant, Karl P. [Author] ; Sachs, Lisa [Other]; Davies, Kenneth [Other]; Zandvliet, Ruben [Other]; Hufbauer, Gary Clyde [Other]; Kekic, Laza [Other]; Jensen, Nathan M. [Other]; Malesky, Edmund J. [Other]; Avi-Yonah, Reuven S. [Other]; Guimon, Jose [Other]; Cotula, Lorenzo [Other]; Bellak, Christian [Other]; Leibrecht, Markus [Other]; Ozawa, Terutomo [Other]; Mortimore, Michael [Other]; Razo, Carlos [Other]; Satyanand, Premila Nazareth [Other]; Bruche, Gert [Other]; van Aaken, Anne [Other]; Kurtz, Jürgen [Other]; Gordon, Kathryn [Other]; Pohl, Joachim [Other]; Fotak, Veljko [Other]; Megginson, William L. [Other]; Kovacs, Charles [Other]; [...]

FDI Perspectives : Issues in International Investment

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2018]
Sauvant, Karl P. [Author] ; Reimer, Jennifer [Other]; Allee, Todd [Other]; Alon, Ilan [Other]; Amsden, Alice H. [Other]; Asami, Tadahiro [Other]; Avi-Yonah, Reuven S. [Other]; Barbour, Paul [Other]; Bellak, Christian [Other]; Berger, Axel [Other]; Beugelsdijk, Sjoerd [Other]; Bhattacharjee, Subrata [Other]; Broadman, Harry G. [Other]; Broomfield, Elizabeth [Other]; Bruche, Gert [Other]; Busse, Matthias [Other]; Cantwell, John A. [Other]; Cherp, Aleh [Other]; Cotula, Lorenzo [Other]; Dasgupta, Nandita [Other]; Davies, Kenneth [Other]; de Gramont, Alexandre [Other]; de Mestral, Armand Claude [Other]; Duggal, Kabir [Other]; Economou, Persephone [Other]; [...]

FDI Perspectives : Issues in International Investment, 2nd Edition

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2018]
Plotkin, Gordon

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Partial Recursive Functions and Finality

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (2013), Seite 311-326
Plotkin, Gordon

Algebra and Coalgebra in Computer Science: Adequacy for Infinitary Algebraic Effects (Abstract)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Algebra and Coalgebra in Computer Science (2009), Seite 1-2
Plotkin, Gordon

Algebra, Meaning, and Computation: Some Varieties of Equational Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Algebra, Meaning, and Computation (2006), Seite 150-156
PLOTKIN, GORDON

A domain-theoretic Banach–Alaoglu theorem

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2006

Published in: Mathematical Structures in Computer Science, 16 (2006) 2, Seite 299
Plotkin, Gordon

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Hennessy-Plotkin-Brookes Revisited

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006), Seite 4-4
Plotkin, Gordon

Algebra and Coalgebra in Computer Science: Adequacy for Algebraic Effects with State

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Algebra and Coalgebra in Computer Science (2005), Seite 51-51
Plotkin, Gordon

Foreword

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2004

Published in: Annals of Pure and Applied Logic, 130 (2004) 1-3, Seite 1
Plotkin, Gordon

Three Inadequate Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2002

Published in: Formal Aspects of Computing, 13 (2002) 3-5, Seite 364-385
Plotkin, Gordon

Bialgebraic Semantics and Recursion

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Electronic Notes in Theoretical Computer Science, 44 (2001) 1, Seite 285-288
PLOTKIN, GORDON

Full abstraction, totality and PCF

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1999

Published in: Mathematical Structures in Computer Science, 9 (1999) 1, Seite 1-20
Plotkin, Gordon

On a Question of H. Friedman

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1996

Published in: Information and Computation, 126 (1996) 1, Seite 74-77
Plotkin, Gordon

Lecture Notes in Computer Science: A semantics for type checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Lecture Notes in Computer Science (1991), Seite 1-17

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication