Sabine Babette Broda


AuthID: R-000-G4A

Confirmed Publications: 49



41
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
IN MY: ORCID
42
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: ORCID | DBLP | CIÊNCIAVITAE
43
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: ORCID
44
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: ORCID
45
TITLE: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1999, SOURCE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
46
TITLE: Compact bracket abstraction in combinatory logic
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1997, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
47
TITLE: On Combinatory Complete Sets of Proper Combinators
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1997, SOURCE: J. Funct. Program., VOLUME: 7, ISSUE: 6
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
48
TITLE: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
49
TITLE: Resolution of Constraints in Algebras of Rational Trees
AUTHORS: Luís Damas ; Nelma Moreira ; Sabine Broda ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 5 of 5. Total results: 49.

footer slogan

Useful Links

Get Help

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