Login / Signup
Intrinsically-Typed Mechanized Semantics for Session Types.
Peter Thiemann
Published in:
CoRR (2019)
Keyphrases
</>
higher order
semantic information
formal semantics
real time
logic programming
typed objects
neural network
e learning
multi agent systems
wordnet
default reasoning
language constructs
fixed order