Publisher
Springer International Publishing
Reference41 articles.
1. Agda.: The Agda proof assistant (developed at Chalmers, Sweden) (2008). http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php
2. Baker, M.: Lexical Categories: verbs, Nouns and Adjectives, vol. 102. Cambridge University Press, Cambridge (2003)
3. Bekki, D.: Representing anaphora with dependent types. LACL 2014, LNCS 8535 (2014)
4. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill (1967)
5. Boldini, P.: Formalizing context in intuitionistic type theory. Fundam. Inform. 42(2), 1–23 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Propositional Forms of Judgemental Interpretations;Journal of Logic, Language and Information;2023-05-03