2742 search results - page 21 / 549 » Deriving Category Theory from Type Theory |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
KR
2004
Springer
14 years 2 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
BCSHCI
2007
13 years 10 months ago
2007
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...