Login / Signup
Hugh P. Steele
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Artificial Intelligence
Reinforcement Learning
Linear Logic
Top Venues
LICS
Log. Methods Comput. Sci.
</>
Publications
</>
Andrea Schalk
,
Hugh P. Steele
Constructing Fully Complete Models of Multiplicative Linear Logic.
Log. Methods Comput. Sci.
11 (3) (2015)
Andrea Schalk
,
Hugh P. Steele
Constructing Fully Complete Models for Multiplicative Linear Logic.
LICS
(2012)