Login / Signup
Formalising Type-Logical Grammars in Agda.
Wen Kokke
Published in:
CoRR (2017)
Keyphrases
</>
neural network
social networks
image sequences
grammatical inference
type checking