Login / Signup
Pers as Types, Inductive Types and Types with Laws.
Ed Voermans
Published in:
Declarative Programming (1991)
Keyphrases
</>
digital libraries
decision making
data structure
cooperative
search algorithm
preprocessing
concept learning