Luís Damas

Available identifiers

Publication	Date of Publication	Type
Studying provability in implicational intuitionistic logic: the formula tree approach	2013-04-19	Paper
The YAP prolog system	2012-06-25	Paper
On Principal Types of BCK-λ-Terms	2009-03-10	Paper
Linearization of the lambda-calculus and its relation with intersection type systems	2005-09-27	Paper
On Long Normal Inhabitants of a Type	2005-07-13	Paper
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4736483	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4415114	2003-07-28	Paper
Counting a type's (principal) inhabitants	2001-10-23	Paper
On principal types of combinators	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263863	1999-11-21	Paper
On combinatory complete sets of proper combinators	1999-08-17	Paper
Compact bracket abstraction in combinatory logic	1998-09-07	Paper

This page was built for person: Luís Damas