Hugo Herbelin
According to our database1,
Hugo Herbelin
authored at least 41 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles.
CoRR, 2024
CoRR, 2024
On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
A calculus of expandable stores: Continuation-and-environment-passing style translations.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2018
Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control.
CoRR, 2018
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.
Proceedings of the Foundations of Software Science and Computation Structures, 2018
2015
Math. Struct. Comput. Sci., 2015
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.
Proceedings of the CICM 2015, 2015
2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2013
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
2011
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
2009
ACM SIGPLAN Notices, 2009
High. Order Symb. Comput., 2009
Proceedings of the Logic, 2009
An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009
2008
J. Funct. Program., 2008
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
2007
High. Order Symb. Comput., 2007
2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005
2004
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
2001
2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
1998
Computing with Abstract Böhm Trees.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1997
Proceedings of the Typed Lambda Calculi and Applications, 1997
1996
1995
Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies).
PhD thesis, 1995
1994
J. Funct. Program., 1994
Proceedings of the Computer Science Logic, 8th International Workshop, 1994
1989