Searching for authors named "Marcin Benke" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Some tools for computer-assisted theorem proving in Martin-Löf type theory
- …Some tools for computer-assisted theorem proving in Martin-Löf type theory Marcin Benke e…
- Cited by 1 (1 self) – Add To MetaCart
-
Strategies for Interactive Proof and Program Development in Martin-Löf Type Theory (Extended Abstract)
- … abstract) Marcin Benke Department of Computing Science Chalmers University of Technology 413 96 G…
- Cited by 1 (1 self) – Add To MetaCart
-
Universes for Generic Programs and Proofs in Dependent Type Theory
- …Universes for Generic Programs and Proofs in Dependent Type Theory Marcin Benke, Peter Dybjer…
- Cited by 27 (1 self) – Add To MetaCart
-
Verifying Haskell programs using constructive type theory
- … Verifying Haskell Programs Using Constructive Type Theory \Lambda Andreas Abel Marcin Benke…
- Cited by 4 (0 self) – Add To MetaCart
-
A More General Type Theoretic Interpretation Of Constructive Set Theory
- …: Aarne Ranta and Marcin Benke Antonia Balaa and Yves Bertot (INRIA Sophia-Antipolis) Fix-point Equations…
- Add To MetaCart
Showing 1 through 5.
