Sciweavers

23 search results - page 1 / 5
» Collection Principles in Dependent Type Theory
Sort
View
TYPES
2000
Springer
14 years 2 months ago
Collection Principles in Dependent Type Theory
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
Peter Aczel, Nicola Gambino
CIE
2008
Springer
14 years 26 days ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
TMM
2002
115views more  TMM 2002»
13 years 10 months ago
Principles of schema design for multimedia databases
This paper presents the rudiments of a theory of schema design for databases containing high dimensional features of the type used for describing multimedia data. We introduce a mo...
Simone Santini, Amarnath Gupta
HT
2009
ACM
14 years 5 months ago
Comparing spatial hypertext collections
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...
J. Nathan Matias, David P. Williams
WIKIS
2006
ACM
14 years 4 months ago
Is there a space for the teacher in a WIKI?
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
Andreas Lund, Ole Smørdal