Skip to Main content Skip to Navigation
  1. Search


inria-00098848v1  Journal articles
Hazel Everett, Ferran Hurtado, Marc Noy. Stabbing information of a simple polygon
Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
...
hal-02487175v2  Journal articles
Denis Kuperberg, Laureline Pinault, Damien Pous. Cyclic proofs, system T, and the power of contraction
Proceedings of the ACM on Programming Languages, ACM, 2021, ⟨10.1145/3434282⟩
...
inria-00074381v1  Reports
Joëlle Despeyroux, André Hirschowitz. Higher-order abstract syntax with induction in Coq
[Research Report] RR-2292, INRIA. 1994
...
inria-00275382v1  Conference papers
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-yves Strub. From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
5th IFIP International Conference on Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. ⟨10.1007/978-0-387-09680-3_24⟩
...
hal-01673518v2  Theses
Frédéric Gilbert. Extending higher-order logic with predicate subtyping
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English
...
hal-01394036v4  Journal articles
yves Coudière, Charlie Douanla Lontsi, Charles Pierre. Exponential Adams Bashforth integrators for stiff ODEs, application to cardiac electrophysiology
Mathematics and Computers in Simulation, Elsevier, 2018, 153, pp.15-34. ⟨10.1016/j.matcom.2018.04.006⟩
inria-00334006v1  Conference papers
Sylvain Salvati. Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear lambda-Calculus.
17th International Conference on Rewriting Techniques and Applications, RTA 2006, 2006, Seattle, United States. pp.151-165
...
inria-00637326v2  Conference papers
Christian Retoré. Specimens: "most of" generic NPs in a contextually flexible type theory
Genius III, Dec 2011, Paris, France
...
tel-00805935v1  Theses
Clément Durochat. Méthode de type Galerkin discontinu en maillages multi-éléments (et non-conformes) pour la résolution numérique des équations de Maxwell instationnaires
Equations aux dérivées partielles [math.AP]. Université Nice Sophia Antipolis, 2013. Français
...
inria-00073367v1  Reports
Pierre Leleu. A Modal Lambda Calculus with Iteration and Case Constructs
RR-3322, INRIA. 1997
...
hal-02101921v1  Reports
Romain Kervarc, Pierre Lescanne. Explicit Pure Type Systems for the Lambda-Cube
[Research Report] LIP RR-2004-08, Laboratoire de l'informatique du parallélisme. 2004, 2+45p
...
tel-00359874v2  Theses
Hassan Fahs. High-order discontinuous Galerkin methods for solving the time-domain Maxwell equations on non-conforming simplicial meshes
Mathematics [math]. Université Nice Sophia Antipolis, 2008. English
...
hal-01182688v2  Journal articles
Denis Bonheure, François Hamel. One-dimensional symmetry and Liouville type results for the fourth order Allen-Cahn equation in ℝ N
Chinese Annals of Mathematics - Series B, Springer Verlag, 2017, Special Issue in Honor of Haim Brezis, 38 (1), pp.149 - 172. ⟨10.1007/s11401-016-1065-2⟩
...
hal-01989726v1  Journal articles
Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel. Bindings as Bounded Natural Functors
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
...
tel-01238703v1  Theses
yann Régis-Gianas. From types to logical assertions : automatic or assisted proofs of property about functional programs
Programming Languages [cs.PL]. Université paris diderot, 2007. English. ⟨NNT : 2007PA077155⟩
...
hal-01693333v1  Journal articles
Julyan Arbel, Stefano Favaro. Approximating predictive probabilities of Gibbs-type priors
Sankhya A, Springer Verlag, 2021, 83, pp.496-519. ⟨10.1007/s13171-019-00187-y⟩
...
hal-00701802v1  Reports
P.H. Maire, Remi Abgrall, Jérôme Breil, Raphaël Loubère, Bernard Rebourcet. A nominally second-order cell-centered Lagrangian scheme for simulating elastic-plastic flows on two-dimensional unstructured grids
[Research Report] RR-7975, INRIA. 2012, pp.76
...
hal-02536791v2  Journal articles
Victor Michel-Dansac, Christophe Berthon, Stéphane Clain, Françoise Foucher. A two-dimensional high-order well-balanced scheme for the shallow water equations with topography and Manning friction
Computers and Fluids, Elsevier, 2021, 230, pp.105152. ⟨10.1016/j.compfluid.2021.105152⟩
...
hal-02102423v1  Reports
Romain Kervac. Explicit pure type systems, subject reduction and preservation of strong normalisation
[Research Report] Laboratoire de l'informatique du parallélisme. 2006, 2+69p
...
hal-03143359v3  Conference papers
Michael Färber. Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’22), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503683⟩
...
hal-02096540v3  Preprints, Working Papers, ...
Gaspard Ferey, Jean-Pierre Jouannaud. Confluence in (Un)Typed Higher-Order Theories by means of Critical Pairs
2019
...
inria-00074323v1  Reports
Sergei Vorobyov. Hierarchies of decidable extensions of bounded quantification
[Research Report] RR-2354, INRIA. 1994
hal-02879289v1  Conference papers
Xavier Goaoc, Emo Welzl. Convex Hulls of Random Order Types
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zürich / Virtual, Switzerland. pp.49:1--49:15, ⟨10.4230/LIPIcs.SoCG.2020.49⟩
...
hal-02101842v1  Reports
Judicael Courant. A module calculus for Pure Type Systems. (Preliminary Version)
[Research Report] LIP RR-1996-31, Laboratoire de l'informatique du parallélisme. 1996, 2+18p
...
hal-02102422v1  Reports
Romain Kervac. Systèmes de types purs et séquents classique.
[Rapport de recherche] LIP RR-2006-36, Laboratoire de l'informatique du parallélisme. 2006, 2+27p
...
hal-01515505v1  Preprints, Working Papers, ...
Ali Assaf, Gilles Dowek, Jean-Pierre Jouannaud, Jiaxiang Liu. Untyped Confluence In Dependent Type Theories
2017
...
inria-00074124v1  Reports
Joëlle Despeyroux, Amy Felty, André Hirschowitz. Higher-Order Abstract Syntax in Coq
RR-2556, INRIA. 1995
...
tel-00718571v1  Theses
Joseph Charles. Amélioration des performances de méthodes Galerkin discontinues d'ordre élevé pour la résolution numérique des équations de Maxwell instationnaires sur des maillages simplexes
Calcul parallèle, distribué et partagé [cs.DC]. Université Nice Sophia Antipolis, 2012. Français
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/