Typed Lambda Calculi and Applications 2003, Selected Papers.
Martin HofmannPawel UrzyczynPublished in: Fundam. Informaticae (2005)
Keyphrases
- selected papers
- lambda calculus
- annual conference
- international workshop
- programming language
- computer science
- predicate calculus
- higher order
- invited talk
- program committee
- database query languages
- review process
- sequent calculi
- program understanding
- asia pacific
- fixed point
- conference proceedings
- fixed order
- artificial intelligence
- qualitative spatial reasoning
- dagstuhl castle