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
|
|
3 |
Proofs nets and the categorial flow of information
|
|
|
|
In: Logic and Interactive Rationality ; https://hal.archives-ouvertes.fr/hal-00759906 ; Logic and Interactive Rationality, 2012, Amsterdam, Netherlands (2012)
|
|
BASE
|
|
Show details
|
|
4 |
Proof nets for the Lambek-Grishin calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00759895 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
|