Filtering by: Creator Emir Pasalic Remove constraint Creator: Emir Pasalic Date 2004 Remove constraint Date: 2004 Keyword type theory Remove constraint Keyword: type theory Keyword logic programming Remove constraint Keyword: logic programming Collection Scholars Archive Remove constraint Collection: Scholars Archive