Luís Damas

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
Studying provability in implicational intuitionistic logic: the formula tree approach Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
The YAP prolog system Theory and Practice of Logic Programming	2012-06-25	Paper
On Principal Types of BCK-λ-Terms Logic, Language, Information and Computation	2009-03-10	Paper
Linearization of the lambda-calculus and its relation with intersection type systems Journal of Functional Programming	2005-09-27	Paper
On Long Normal Inhabitants of a Type Journal Of Logic And Computation	2005-07-13	Paper
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic Theoretical Computer Science	2004-08-10	Paper
scientific article; zbMATH DE number 2085249 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1954117 (Why is no real title available?)	2003-07-28	Paper
Counting a type's (principal) inhabitants Fundamenta Informaticae	2001-10-23	Paper
On principal types of combinators Theoretical Computer Science	2000-10-26	Paper
scientific article; zbMATH DE number 1342274 (Why is no real title available?)	1999-11-21	Paper
On combinatory complete sets of proper combinators Journal of Functional Programming	1999-08-17	Paper
Compact bracket abstraction in combinatory logic Journal of Symbolic Logic	1998-09-07	Paper

Research outcomes over time

This page was built for person: Luís Damas