1 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
The Grail Theorem Prover: Type Theory for Syntax and Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644 ; Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), Springer, pp.247-277, 2017, Part III, 978-3-319-50420-9. ⟨10.1007/978-3-319-50422-3_10⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
|