Aarne Ranta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Syntactic categories in the language of mathematics Lecture Notes in Computer Science	2023-12-08	Paper
Type theory and the informal language of mathematics Lecture Notes in Computer Science	2023-12-08	Paper
Context-relative syntactic categories and the formalization of mathematical text Lecture Notes in Computer Science	2019-01-15	Paper
A pattern for almost compositional functions Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming	2015-08-03	Paper
Machine Translation and Type Theory Epistemology versus Ontology	2015-06-05	Paper
Functional morphology Proceedings of the ninth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
Translating between language and logic: what is easy and what is difficult Lecture Notes in Computer Science	2011-07-29	Paper
Grammars as software libraries	2010-02-05	Paper
A pattern for almost compositional functions Journal of Functional Programming	2008-12-18	Paper
Computational semantics in type theory	2008-02-08	Paper
scientific article; zbMATH DE number 2117129 (Why is no real title available?)	2004-11-19	Paper
Grammatical Framework Journal of Functional Programming	2004-09-24	Paper
scientific article; zbMATH DE number 2087523 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1952711 (Why is no real title available?)	2003-07-23	Paper
scientific article; zbMATH DE number 1696759 (Why is no real title available?)	2002-07-22	Paper
Syntactic calculus with dependent types Journal of Logic, Language and Information	1999-08-31	Paper
scientific article; zbMATH DE number 1104358 (Why is no real title available?)	1998-02-02	Paper
scientific article; zbMATH DE number 1129256 (Why is no real title available?)	1997-01-01	Paper
scientific article; zbMATH DE number 1129256 (Why is no real title available?)	1997-01-01	Paper
scientific article; zbMATH DE number 1129259 (Why is no real title available?)	1997-01-01	Paper
scientific article; zbMATH DE number 1129259 (Why is no real title available?)	1997-01-01	Paper
Constructing possible worlds* Theoria	1996-06-06	Paper
scientific article; zbMATH DE number 783772 (Why is no real title available?)	1995-08-10	Paper
Intuitionistic categorial grammar Linguistics and Philosophy	1991-01-01	Paper

Research outcomes over time

This page was built for person: Aarne Ranta