Aarne Ranta

Available identifiers

zbMath Open ranta.aarneMaRDI QIDQ1280046

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q3400634	2010-02-05	Paper
A pattern for almost compositional functions	2008-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q5438967	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aarne Ranta