Luís Manuel Martins Damas


AuthID: R-000-9MJ

Confirmed Publications: 36



11
TITLE: Large-Scale Simulation of V2V Environments
AUTHORS: Conceiçao, H ; Damas, L ; Ferreira, M ; Barros, J ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 26
12
TITLE: On principal types of BCK-lambda-Terms
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
13
TITLE: On long normal inhabitants of a type
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 13
14
TITLE: Linearization of the lambda-calculus and its relation with intersection type systems
AUTHORS: Florido, M ; Damas, L ;
PUBLISHED: 2004, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
15
TITLE: The decidability of a fragment of BB′IW-logic  Full Text
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
16
TITLE: WAM local analysis
AUTHORS: Ferreira, M ; Damas, L ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXED IN: Scopus WOS DBLP CrossRef
17
TITLE: Studying provability in implicational intuitionistic logic the formula tree approach
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 2002, SOURCE: WoLLIC, VOLUME: 67
INDEXED IN: Scopus DBLP CrossRef: 1
18
TITLE: A context-free grammar representation for normal inhabitants of types in TAλ
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
19
TITLE: Counting a type's (principal) inhabitants  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in FUNDAMENTA INFORMATICAE, VOLUME: 45, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP
20
TITLE: On principal types of combinators  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2000, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 247, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
Page 2 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service