Login / Signup
Kristoffer Rose
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Lambda Calculus
Low Order
Pairwise
Belief Revision
Top Venues
CoRR
</>
Publications
</>
Cynthia Kop
,
Kristoffer Rose
h: A Plank for Higher-order Attribute Contraction Schemes.
CoRR
(2017)