19 search results - page 1 / 4 » Canonicity for 2-dimensional type theory |
POPL
2012
ACM
12 years 7 days ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
RTA
2010
Springer
13 years 8 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
ENTCS
2008
13 years 4 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
JSYML
2007
13 years 4 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...