11
TITLE: Large-Scale Simulation of V2V Environments
AUTHORS: Hugo Conceicao ; Luis Damas ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: DBLP
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
IN MY: DBLP
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
IN MY: DBLP
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
IN MY: DBLP
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
IN MY: DBLP
17
TITLE: Studying provability in implicational intuitionistic logic: The formula tree approach
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2002, SOURCE: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation in Electronic Notes in Theoretical Computer Science, VOLUME: 67
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
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
IN MY: 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
IN MY: DBLP
Page 2 of 4. Total results: 36.