Proof Assistants for Natural Language Semantics-Reference-Cited by-同舟云学术

Proof Assistants for Natural Language Semantics

Published:2016 Issue: Volume: Page:85-98
ISSN:0302-9743
Container-title:Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
language:
Short-container-title:

Author:

Chatzikyriakidis Stergios,Luo Zhaohui

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-53826-5_6

Reference34 articles.

1. Agda proof assistant (2008). http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php

2. Lecture Notes in Computer Science;D Bekki,2014

3. de Bruijn, N.: A survey of the project AUTOMATH. In: Hindley, J., Seldin, J., To, H.B. (eds.) Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, Cambridge (1980)

4. Lecture Notes in Computer Science;S Chatzikyriakidis,2013

5. Chatzikyriakidis, S., Luo, Z.: Natural language inference in Coq. J. Log. Lang. Inf. 23(4), 441–480 (2014)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Propositional Forms of Judgemental Interpretations;Journal of Logic, Language and Information;2023-05-03

2. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP;Formal Aspects of Computing;2020-07

3. Type Theory and Universal Grammar;Software Engineering and Formal Methods;2020

4. Solving the Individuation and Counting Puzzle with $$\lambda $$ -DRT and MGL;New Frontiers in Artificial Intelligence;2019

5. Adjectival and Adverbial Modification: The View from Modern Type Theories;Journal of Logic, Language and Information;2017-02-17