Plotkin, Gordon, 1946-....
Plotkin, G. (Gordon), 1946-
Plotkin, Gordon
VIAF ID: 81146152 (Personal)
Permalink: http://viaf.org/viaf/81146152
Preferred Forms
-
100 1 _ ‡a Plotkin, Gordon
-
100 1 _ ‡a Plotkin, Gordon, ‡d 1946-
-
100 1 _ ‡a Plotkin, G. ‡q (Gordon), ‡d 1946-
-
100 1 _ ‡a Plotkin, Gordon, ‡d 1946-....
-
100 1 _ ‡a Plotkin, Gordon ‡d 1946-
-
100 1 _ ‡a Plotkin, Gordon ‡d (1946- ).
-
100 1 0 ‡a Plotkin, G. ‡q (Gordon), ‡d 1946-
-
200 _ | ‡a Plotkin ‡b Gordon
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
- 510 2 _
‡a
University
‡b
Department of Computer Science
‡e
Affiliation
Selected Titles
- Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
(2)
- Transactions on computational systems biology VI
(2)
- Proof, language and interaction : essays in honour of Robin Milner
(2)
- Logical environments
(2)
- Logical Frameworks
(2)
- Computational logic : essays in honor of Alan Robinson
(2)
- [http://vmoc.museophile.org/pvs04/ program verification and semantics: further work]
(1)
- [http://citeseer.ist.psu.edu/plotkin81structural.html a structural approach to operational semantics]
(1)
- Transactions on computational systems biology six
(1)
- Transactions on computational systems biology 6
(1)
