Aarne Ranta

Available identifiers

Publication	Date of Publication	Type
Syntactic categories in the language of mathematics	2023-12-08	Paper
Type theory and the informal language of mathematics	2023-12-08	Paper
Context-relative syntactic categories and the formalization of mathematical text	2019-01-15	Paper
A pattern for almost compositional functions	2015-08-03	Paper
Machine Translation and Type Theory	2015-06-05	Paper
Functional morphology	2015-03-09	Paper
Translating between language and logic: what is easy and what is difficult	2011-07-29	Paper
Grammars as software libraries	2010-02-05	Paper
A pattern for almost compositional functions	2008-12-18	Paper
Computational semantics in type theory	2008-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4828473	2004-11-19	Paper
Grammatical Framework	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738328	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414106	2003-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q2767009	2002-07-22	Paper
Syntactic calculus with dependent types	1999-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4370232	1998-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4380479	1997-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4380482	1997-01-01	Paper
Constructing possible worlds*	1996-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q4843182	1995-08-10	Paper
Intuitionistic categorial grammar	1991-01-01	Paper

This page was built for person: Aarne Ranta