Plotkin, Gordon, 1946-....
Plotkin, G. (Gordon), 1946-
Plotkin, Gordon
Gordon Plotkin Computer Scientist
Plotkin, G. (1946- )
Plotkin, G. (Gordon)
VIAF ID: 81146152 ( Personal )
Permalink: http://viaf.org/viaf/81146152
Preferred Forms
- 100 0 _ ‡a Gordon Plotkin ‡c Computer Scientist
- 200 _ | ‡a Plotkin ‡b Gordon
-
- 100 1 _ ‡a Plotkin, G. ‡q (Gordon)
-
-
-
-
- 100 1 0 ‡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-....
4xx's: Alternate Name Forms (18)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automatic methods of inductive inference | |
Compositionnalité des monades par lois de distributivité faibles. | |
Computational logic : essays in honor of Alan Robinson | |
Domaines concrets | |
The international series of monographs on computer science | |
Logical environments | |
Logical Frameworks | |
On the compositionality of monads via weak distributive laws | |
Proceedings of the 1992 workshop on types for proofs and programs : Båstad [Sweden, from the 8th to the 12th of] June 1992 | |
Proof, language and interaction : essays in honour of Robin Milner | |
Semantics of data types, 1984: | |
Situation theory and its applications. | |
A structural approach to operational semantics : Gordon D. Plotkin | |
Transactions on computational systems biology VI | |
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings |