Filtrer vos résultats
- 15
- 7
- 10
- 4
- 4
- 2
- 2
- 18
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 5
- 2
- 1
- 5
- 3
- 20
- 2
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
22 résultats
|
|
triés par
|
|
Dedukti:un vérificateur de preuves universelJournées nationales GDR - GPL - CIEL - AFADL, Apr 2013, Nancy, France
Poster de conférence
hal-01086609v1
|
||
|
Structural properties of solid solutions of the non-dimerized, 3/4-filled conductors (o-DMTTF)2X (X¼Cl, Br, I)physica status solidi (b), 2012, 249 (52), pp. 943-946. ⟨10.1002/pssb.201100762⟩
Article dans une revue
hal-00693198v1
|
||
|
Encoding Proofs in Dedukti: the case of Coq proofsProceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal
Communication dans un congrès
hal-01330980v1
|
||
|
A Common Aspect Languages InterpreterSoftware Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
Thèse
tel-00726510v1
|
||
|
Structural properties of solid solutions of the non-dimerized, 3/4-filled conductors ( o -DMTTF) 2 X (X = Cl, Br, I)physica status solidi (b), 2012, 249 (5), pp.943-946. ⟨10.1002/pssb.201100762⟩
Article dans une revue
hal-02345274v1
|
||
|
Untyped Confluence in Dependent Type TheoriesProceedings Higher-Order Rewriting Workshop, Jun 2016, Porto, Portugal
Communication dans un congrès
hal-01330955v1
|
||
|
Completeness of algebraic CPS simulationsDCM 2011 - International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. pp.16-27, ⟨10.4204/EPTCS.88.2⟩
Communication dans un congrès
hal-00932770v1
|
||
Syntheses, crystal structures, transport properties and first-principles electronic structure study of the (tTTF)2X (X=Br, I) low-dimensional antiferromagnets.Inorganic Chemistry, 2011, 50 (9), pp.4171-81. ⟨10.1021/ic2002964⟩
Article dans une revue
hal-00615264v1
|
|||
|
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory2016
Pré-publication, Document de travail
hal-04281492v1
|
||
|
Decoupling variability management in multi-tenant SaaS applications6th International Symposium on Service Oriented System Engineering (SOSE 2011), Dec 2011, Irvine, CA, United States. ⟨10.1109/SOSE.2011.6139117⟩
Communication dans un congrès
hal-01143100v1
|
||
|
Gestion de la variabilité dans les applications SaaS multi-locataireInforsid 2012, May 2012, Montpellier, France
Communication dans un congrès
hal-01143208v1
|
||
|
Translating HOL to DeduktiFourth Workshop on Proof eXchange for Theorem Proving, PxTP'15, Aug 2015, Berlin, Germany. pp.74-88, ⟨10.4204/EPTCS.186.8⟩
Communication dans un congrès
hal-01097412v2
|
||
|
Mixing HOL and Coq in Dedukti (Rough Diamond)2015
Pré-publication, Document de travail
hal-01141789v1
|
||
|
A framework for defining computational higher-order logicsComputer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩
Thèse
tel-01235303v4
|
||
|
A calculus of constructions with explicit subtyping20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Institut Henri Poincaré, Paris, France
Communication dans un congrès
hal-01097401v2
|
||
Objects and subtyping in the lambda-Pi-calculus moduloTYPES 2014, May 2014, Paris, France. pp.2
Communication dans un congrès
hal-01126394v1
|
|||
|
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti systemTYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
Communication dans un congrès
hal-01441751v1
|
||
|
Variability as a Service : Outsourcing Variability Management in Multi-tenant SaaS ApplicationsCAISE : 24th International Conference on Advanced Information Systems Engineering, Jun 2012, Gdansk, Poland
Communication dans un congrès
hal-01143189v1
|
||
Lipidomic analyses of Parachlorella Kessleri depending on photobioreactor usedAlgaeEurope 2022, Dec 2022, ROME, Italy
Poster de conférence
hal-04429082v1
|
|||
|
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculusLogical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Article dans une revue
hal-01097602v1
|
||
|
Conservativity of embeddings in the lambda-Pi calculus modulo rewriting (long version)2015
Pré-publication, Document de travail
hal-01084165v3
|
||
|
Untyped Confluence In Dependent Type Theories2017
Pré-publication, Document de travail
hal-01515505v1
|