A dependently-typed construction of semi-simplicial types von HERBELIN, HUGO

Volltext

A Constructive Proof of Dependent Choice, Compatible with Classical Logic von Herbelin, H.

Volltext

Pure Type System conversion is always typable von SILES, VINCENT, HERBELIN, HUGO

Volltext

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles von Herbelin, Hugo

Volltext bestellen

An Intuitionistic Logic that Proves Markov's Principle von Herbelin, H

Volltext

An analysis of the constructive content of Henkin's proof of G\"odel's completeness theorem von Herbelin, Hugo, Ilik, Danko

Volltext bestellen

A parametricity-based formalization of semi-simplicial and semi-cubical sets von Herbelin, Hugo, Ramachandra, Ramkumar

Volltext bestellen

Kripke models for classical logic von Ilik, Danko, Lee, Gyesik, Herbelin, Hugo

Volltext

On the Degeneracy of Σ-Types in Presence of Computational Classical Logic von Herbelin, Hugo

Volltext

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles von Herbelin, Hugo

Volltext

Equality Is Typable in Semi-full Pure Type Systems von Siles, Vincent, Herbelin, Hugo

Volltext

On the logical structure of choice and bar induction principles von Brede, Nuria, Herbelin, Hugo

Volltext bestellen

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem von Herbelin, Hugo, Danko Ilik

Volltext

Classical Call-by-Need and Duality von Ariola, Zena M., Herbelin, Hugo, Saurin, Alexis

Volltext

A parametricity-based formalization of semi-simplicial and semi-cubical sets von Herbelin, Hugo, Ramkumar Ramachandra

Volltext

Control Reduction Theories: the Benefit of Structural Substitution von Ariola, Zena, Herbelin, Hugo

Volltext

The duality of computation von Curien, Pierre-Louis, Herbelin, Hugo

Volltext

Control reduction theories: the benefit of structural substitution von ARIOLA, ZENA M., HERBELIN, HUGO

Volltext

Classical call-by-need sequent calculi: the unity of semantic artifacts von Ariola, Zena M., Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis

Volltext

A λ-calculus structure isomorphic to Gentzen-style sequent calculus structure von Herbelin, Hugo

Volltext