1 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Krivine machines and higher-order schemes
|
|
|
|
In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011)
|
|
BASE
|
|
Show details
|
|
3 |
λμ-calculus and Λμ-calculus: a Capital Difference
|
|
|
|
In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
4 |
A Proof-Theoretic Foundation of Abortive Continuations
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.inria.fr/hal-00697242 ; Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩ (2007)
|
|
BASE
|
|
Show details
|
|
5 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
6 |
Pure Patterns Type Systems
|
|
|
|
In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://hal.inria.fr/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩ (2003)
|
|
BASE
|
|
Show details
|
|
7 |
Typed memory management via static capabilities
|
|
|
|
In: http://www.cs.cmu.edu/~crary/papers/2000/regions/capabilities.pdf
|
|
BASE
|
|
Show details
|
|
8 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v3.pdf (804)
|
|
BASE
|
|
Show details
|
|
9 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v2.pdf (804)
|
|
BASE
|
|
Show details
|
|
10 |
A On the expressive power of multiple heads in CHR
|
|
|
|
In: http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
|
|
BASE
|
|
Show details
|
|
|
|