G. Plotkin | Bookitis

G. Plotkin

G. Plotkin

GP

4 featured booksG. Plotkin

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL7577825A

Overview

Catalog identity and bibliographic footprint for this author.

4 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
G. Plotkin
Personal name
G. Plotkin
Source identifier
OL7577825A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Proof, language, and interaction
Representative edition published 2000
Open Work
Logical environments
Representative edition published 1993
Open Work
Logical frameworks
Representative edition published 1991
Open Work
Semantics of data types
Representative edition published 1984
Open Work