Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)
From MaRDI portal
Publication:2888481
DOI10.1007/978-3-642-03741-2_9zbMath1239.68025MaRDI QIDQ2888481
Publication date: 1 June 2012
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_9
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Containers: Constructing strictly positive types
- The view from the left
- Indexed containers