CIE 2008 - PDF Preprint Papers

CIE 2008 Conference on Computability in Europe

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CIE-2008 Paper

click to vote

CIE
2008
Springer

176views Applied Computing» more CIE 2008»

Recursion on Nested Datatypes in Dependent Type Theory

14 years 2 months ago

Download www.irit.fr

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

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	176	Recursion on Nested Datatypes in Dependent Type Theory	claim
2	165	Designing new interfaces for digital interactive television usable by older adults	claim
3	160	First-Order Model Checking Problems Parameterized by the Model	claim
4	157	The role of semantics in games and simulations	claim
5	140	Toward an understanding of flow in video games	claim
6	129	Herbrand Theorems and Skolemization for Prenex Fuzzy Logics	claim
7	115	Interpreting Localized Computational Effects Using Operators of Higher Type	claim
8	114	Extraction in Coq: An Overview	claim
9	113	A word from the editor	claim
10	112	A Simple P-Matrix Linear Complementarity Problem for Discounted Games	claim
11	104	Hybrid Functional Interpretations	claim
12	104	Many Facets of Complexity in Logic	claim
13	104	A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC	claim
14	102	Computable Categoricity of Graphs with Finite Components	claim
15	101	Perfect Local Computability and Computable Simulations	claim
16	101	Deterministic Graphical Games Revisited	claim
17	100	Principal Typings for Explicit Substitutions Calculi	claim
18	100	No new wires	claim
19	97	Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion	claim
20	97	omega-Degree Spectra	claim
21	94	People, places, and play: player experience in a socio-spatial context	claim
22	93	Effective Dimensions and Relative Frequencies	claim
23	91	Union of Reducibility Candidates for Orthogonal Constructor Rewriting	claim
24	91	Solving Simple Stochastic Games	claim
25	91	Succinct NP Proofs from an Extractability Assumption	claim
26	91	The Shrinking Property for NP and coNP	claim
27	90	An architecture to easily produce adventure and movie games for the mobile scenario	claim
28	86	Temporal interaction between an artificial orchestra conductor and human musicians	claim
29	83	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF	claim
30	77	Computability and Complexity in Self-assembly	claim
31	74	Two-by-Two Substitution Systems and the Undecidability of the Domino Problem	claim
32	73	Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time	claim
33	71	An Enhanced Theory of Infinite Time Register Machines	claim
34	70	Implementing Spi Calculus Using Nominal Techniques	claim
35	66	Phase Transitions for Weakly Increasing Sequences	claim
36	66	Reachability in Linear Dynamical Systems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers