Login / Signup
An Intrinsic Semantics of Intersection Types.
John C. Reynolds
Published in:
ICALP Satellite Workshops (2000)
Keyphrases
</>
logic programming
formal semantics
neural network
real time
machine learning
website
web services
hidden markov models
conceptual model
semantic relationships
proof theory