Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q5278392 2017-07-19 Paper Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution 2017-02-22 Paper Learning Context Free...10 bytes (13 words) - 10:33, 24 September 2023
- Publication Date of Publication Type Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution 2017-02-22 Paper...10 bytes (13 words) - 13:41, 6 October 2023
- issue on ``Proof theory and natural language Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution A type reduction from proof-conditional...15 bytes (322 words) - 14:53, 1 February 2024
- from the workshop held November 12--17, 2023 Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Definition of the semantics of programming...15 bytes (670 words) - 03:50, 7 March 2024
- theory\(\lambda\)-DRTpronoun resolution Mathematics Subject Classification ID Logic of natural languages (03B65) Combinatory logic and lambda calculus...15 bytes (176 words) - 20:18, 3 February 2024
- Subject Classification ID Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Cites Work A theory of type polymorphism...15 bytes (305 words) - 19:22, 3 February 2024
- Propositional forms of judgemental interpretations Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Proof Assistants for Natural Language Semantics...15 bytes (141 words) - 09:28, 8 February 2024
- Classification ID Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Cites Work Title not available (Why is that?) Title not...15 bytes (283 words) - 21:16, 2 February 2024
- anaphora to quantifier domains Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation Predicate logic with...15 bytes (785 words) - 16:57, 8 February 2024
- 1007/978-3-642-00590-9_3 Mathematics Subject Classification ID Functional programming and lambda calculus (68N18) Cited In (4) How to evaluate the performance of gradual...15 bytes (122 words) - 04:24, 5 February 2024
- Are crossing dependencies really scarce? Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Recommendations A formal framework for...15 bytes (184 words) - 14:11, 7 February 2024
- (03B65) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18) Natural language processing (68T50) Cites Work Representing...15 bytes (172 words) - 20:18, 3 February 2024
- Thereafter we briefly present lambdamu-DRT (Discourse Representation Theory) an extension of lambda-DRT (compositional DRT) in the framework of lambdamu calculus:...15 bytes (152 words) - 07:31, 10 July 2024
- verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Cited In (3) A calculus with recursive types, record concatenation...15 bytes (131 words) - 05:54, 10 July 2024
- Vision of Mathematics as a Universal Language Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Title not available (Why is that?) Parsing...15 bytes (311 words) - 15:46, 1 February 2024
- of natural languages (03B65) Cited In (2) Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Aspectual Shifts With and Without Type...15 bytes (103 words) - 21:55, 3 February 2024
- that?) Mathematics Subject Classification ID Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Cited...15 bytes (115 words) - 05:45, 7 March 2024
- intelligence (68T27) Combinatory logic and lambda calculus (03B40) Cited In (1) Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution This page...15 bytes (100 words) - 04:33, 7 March 2024
- mathematical question and answer dialogues Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution The Isabelle/Naproche natural language...12 bytes (122 words) - 20:46, 5 March 2024
- Interpreting descriptions in intensional type theory Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution Proof Assistants for Natural Language Semantics...15 bytes (435 words) - 03:02, 8 February 2024
