Special issue: Modalities in type theory.

Matt Fairtlough Michael Mendler Eugenio Moggi

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases

special issue
ai edam
ecml pkdd
applied intelligence
international journal
general theory
special section
computational model
e learning
data analysis
knowledge discovery
theoretical basis