Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

G. Plotkin | lit.salon

Author

G. Plotkin

Born 1946

4 works

1984–2000 across 4 dated works

No biography is available yet.

Start with

Semantics of data types: international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings1984
With G. Kahn
Logical frameworks1991
Logical environments1993
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)2000
With Mads Tofte, Colin P. Stirling

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)2000
With Mads Tofte, Colin P. Stirling
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Logical frameworks1991
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logical environments1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Semantics of data types: international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings1984
With G. Kahn
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around G. Plotkin.

The conversation is still open.

There is no public salon activity to show for G. Plotkin yet.