Seely, Robert Andrew George 1951-....
Seely, R.A.G. (Robert Andrew George), 1951-
Seely, R.A.G., 1951-
Seely, R.A.G
Seely, Robert Andrew George
VIAF ID: 66551324 ( Personal )
Permalink: http://viaf.org/viaf/66551324
Preferred Forms
- 200 _ | ‡a Seely ‡b Robert Andrew George ‡f 1951-....
-
- 100 1 0 ‡a Seely, R. A. G. ‡q (Robert Andrew George), ‡d 1951-
-
- 100 1 _ ‡a Seely, R.A. G., ‡d 1951-
-
-
-
-
-
- 100 1 _ ‡a Seely, Robert Andrew George ‡d 1951-
- 100 1 _ ‡a Seely, Robert Andrew George ‡d 1951-
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Categorical semantics for higher order polymorphic lambda calculus | |
Category theory 1991 proceedings of an International summer category theory meeting held June 23-30, 1991 | |
Graded multicategories of polynomial-time realizers | |
Language and grammar studies in mathematical linguistics and natural language | |
Linear logic, *-autonomous categories and cofree coalgebras | |
A Logical calculus for polynomial-time realizability | |
Modelling computations : a 2-categorical framework | |
Special volume on the occasion of the 60th birthday of Professor Michael Barr | |
Weakly distributive categories |