Filtering by: Keyword logic programming Remove constraint Keyword: logic programming Keyword type theory Remove constraint Keyword: type theory Collection Scholars Archive Remove constraint Collection: Scholars Archive School OGI School of Science and Engineering Remove constraint School: OGI School of Science and Engineering