Filtering by: Date 2004 Remove constraint Date: 2004 Degree Ph.D. Remove constraint Degree: Ph.D. Keyword programming languages (electronic computers) Remove constraint Keyword: programming languages (electronic computers) Keyword logic programming Remove constraint Keyword: logic programming Keyword type theory Remove constraint Keyword: type theory Resource type dissertation Remove constraint Resource type: dissertation