Login / Signup
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version).
Anton Setzer
Peter G. Hancock
Published in:
Dependently Typed Programming (2004)
Keyphrases
</>
theoretical framework
user friendly
virtual reality
neural network
information technology
databases
real world
knowledge base
image segmentation
theoretical foundation
theoretical basis