-
1
-
-
12344259624
-
A computational definition of the notion of vectorial space
-
In Narciso Martí-Oliet, editor, Elsevier
-
Pablo Arrighi and Gilles Dowek. A computational definition of the notion of vectorial space. In Narciso Martí-Oliet, editor, Proceedings of WRLA-2004, volume 117 of Electronic Notes in Theoretical Computer Science, pages 249-261. Elsevier, 2004.
-
(2004)
Proceedings of WRLA-2004, Electronic Notes in Theoretical Computer Science
, vol.117
, pp. 249-261
-
-
Arrighi, P.1
Dowek, G.2
-
2
-
-
48949095462
-
Linear-algebraic lambda-calculus: Higher-order, encodings, and confluence
-
In Andrei Voronkov, editor, Springer
-
Pablo Arrighi and Gilles Dowek. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In Andrei Voronkov, editor, Proceedings of RTA-2008, volume 5117 of Lecture Notes in Computer Science, pages 17-31. Springer, 2008.
-
(2008)
Proceedings of RTA-2008, Lecture Notes in Computer Science
, vol.5117
, pp. 17-31
-
-
Arrighi, P.1
Dowek, G.2
-
3
-
-
79751485316
-
Scalar System F for linear-algebraic?-calculus: Towards a quantum physical logic
-
In Bob Coecke, Prakash Panangaden, and Peter Selinger, editors, Elsevier
-
Pablo Arrighi and Alejandro Díaz-Caro. Scalar System F for linear-algebraic?-calculus: Towards a quantum physical logic. In Bob Coecke, Prakash Panangaden, and Peter Selinger, editors, Proceedings of QPL-2009, volume 270/2 of Electronic Notes in Theoretical Computer-Science, pages 219-229. Elsevier, 2011.
-
(2011)
Proceedings of QPL-2009, Electronic Notes in Theoretical Computer-Science
, vol.270
, Issue.2
, pp. 219-229
-
-
Arrighi, P.1
Díaz-Caro, A.2
-
4
-
-
84876835833
-
A type system for the vectorial aspects of the linear-algebraic lambda-calculus
-
Zurich, Switzerland, To appear in EPTCS. Draft at
-
Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. A type system for the vectorial aspects of the linear-algebraic lambda-calculus. In Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011), Zurich, Switzerland, 2011. To appear in EPTCS. Draft at http: //www.diaz-caro.info/vectorial.pdf.
-
(2011)
Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011)
-
-
Arrighi, P.1
Díaz-Caro, A.2
Valiron, B.3
-
5
-
-
74049112161
-
The?-calculus with constructors: Syntax, confluence and separation
-
Ariel Arbiser, Alexandre Miquel, and Alejandro Ríos. The?-calculus with constructors: Syntax, confluence and separation. Journal of Functional Programming, 19(5): 581-631, 2009.
-
(2009)
Journal of Functional Programming
, vol.19
, Issue.5
, pp. 581-631
-
-
Arbiser, A.1
Miquel, A.2
Ríos, A.3
-
7
-
-
84938678865
-
Rewriting logic and probabilities
-
In Robert Nieuwenhuis, editor, Proceedings of RTA-2003, Lecture Notes in Computer Science, Springer
-
Olivier Bournez and Mathieu Hoyrup. Rewriting logic and probabilities. In Robert Nieuwenhuis, editor, Proceedings of RTA-2003, volume 2706 of Lecture Notes in Computer Science, pages 61-75. Springer, 2003.
-
(2003)
, vol.2706
, pp. 61-75
-
-
Bournez, O.1
Hoyrup, M.2
-
8
-
-
0001786387
-
Lambda-calculi for (strict) parallel functions
-
Gerard Boudol. Lambda-calculi for (strict) parallel functions. Information and Computation, 108(1): 51-127, 1994.
-
(1994)
Information and Computation
, vol.108
, Issue.1
, pp. 51-127
-
-
Boudol, G.1
-
9
-
-
84945290680
-
The Rho Cube
-
In Furio Honsell and Marino Miculan, editors, Springer
-
Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. The Rho Cube. In Furio Honsell and Marino Miculan, editors, Proceedings of FOSSACS-2001, volume 2030 of Lecture Notes in Computer Science, pages 168-183. Springer, 2001.
-
(2001)
Proceedings of FOSSACS-2001, Lecture Notes in Computer Science
, vol.2030
, pp. 168-183
-
-
Cirstea, H.1
Kirchner, C.2
Liquori, L.3
-
11
-
-
84859952733
-
Equivalence of algebraic?-calculi
-
HOR-2010, Edinburgh, UK, July 14
-
Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, and Benoît Valiron. Equivalence of algebraic?-calculi. In Informal Proceedings of the 5th International Workshop on Higher-Order Rewriting, HOR-2010, pages 6-11, Edinburgh, UK, July 14, 2010.
-
(2010)
Informal Proceedings of the 5th International Workshop on Higher-Order Rewriting
, pp. 6-11
-
-
Díaz-Caro, A.1
Perdrix, S.2
Tasson, C.3
Valiron, B.4
-
12
-
-
20844435185
-
Probabilistic?-calculus and quantitative program analysis
-
Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky. Probabilistic?-calculus and quantitative program analysis. Journal of Logic and Computation, 15(2): 159-179, 2005.
-
(2005)
Journal of Logic and Computation
, vol.15
, Issue.2
, pp. 159-179
-
-
Pierro, A.D.1
Hankin, C.2
Wiklicky, H.3
-
13
-
-
38249008874
-
Adding algebraic rewriting to the untyped lambda calculus
-
Daniel J. Dougherty. Adding algebraic rewriting to the untyped lambda calculus. Information and Computation, 101(2): 251-267, 1992.
-
(1992)
Information and Computation
, vol.101
, Issue.2
, pp. 251-267
-
-
Dougherty, D.J.1
-
14
-
-
0011237938
-
Non deterministic extensions of untyped?-calculus
-
Ugo de'Liguoro and Adolfo Piperno. Non deterministic extensions of untyped ?-calculus. Information and Computation, 122(2): 149-177, 1995.
-
(1995)
Information and Computation
, vol.122
, Issue.2
, pp. 149-177
-
-
de'Liguoro, U.1
Piperno, A.2
-
17
-
-
78449267891
-
A finiteness structure on resource terms
-
IEEE Computer Society
-
Thomas Ehrhard. A finiteness structure on resource terms. In Proceedings of LICS-2010, pages 402-410. IEEE Computer Society, 2010.
-
(2010)
Proceedings of LICS-2010
, pp. 402-410
-
-
Ehrhard, T.1
-
19
-
-
77956953346
-
Une extension de l'interpretation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types
-
In Jens Erik Fenstad, editor, North-Holland
-
Jean-Yves Girard. Une extension de l'interpretation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types. In Jens Erik Fenstad, editor, Proceedings of the 2nd Scandinavian Logic Symposium, volume 63 of Studies in Logic and the Foundations of Mathematics, pages 63-92. North-Holland, 1971.
-
(1971)
Studies in Logic and the Foundations of Mathematics
, vol.63
, pp. 63-92
-
-
Girard, J.-Y.1
-
22
-
-
84878650387
-
Probabilistic asynchronous p-calculus
-
In Jerzy Tiuryn, editor, Springer
-
Oltea Mihaela Herescu and Catuscia Palamidessi. Probabilistic asynchronous p-calculus. In Jerzy Tiuryn, editor, Proceedings of F0SSACS-2000, volume 1784 of Lecture Notes in Computer-Science, pages 146-160. Springer, 2000.
-
(2000)
Proceedings of F0SSACS-2000, Lecture Notes in Computer-Science
, vol.1784
, pp. 146-160
-
-
Herescu, O.M.1
Palamidessi, C.2
-
23
-
-
0001686885
-
Completion of a set of rules modulo a set of equations
-
Jean-Pierre Jouannaud and Hélène Kirchner. Completion of a set of rules modulo a set of equations. SIAM Journal on Computing, 15(4): 1155-1194, 1986.
-
(1986)
SIAM Journal on Computing
, vol.15
, Issue.4
, pp. 1155-1194
-
-
Jouannaud, J.-P.1
Kirchner, H.2
-
25
-
-
1142287637
-
F: Raising ML to the power of System F
-
In, ICFP'03, New York, NY, USA, ACM
-
F: raising ML to the power of System F. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, ICFP'03, pages 27-38, New York, NY, USA, 2003. ACM.
-
(2003)
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
, pp. 27-38
-
-
Botlan, D.L.1
Rémy, D.2
-
26
-
-
70350327556
-
A polymorphic type system for the lambda-calculus with constructors
-
In Pierre-Louis Curien, editor, Springer
-
Barbara Petit. A polymorphic type system for the lambda-calculus with constructors. In Pierre-Louis Curien, editor, Proceedings of TLCA-2009, volume 5608 of Lecture Notes in Computer Science, pages 234-248. Springer, 2009.
-
(2009)
Proceedings of TLCA-2009, Lecture Notes in Computer Science
, vol.5608
, pp. 234-248
-
-
Petit, B.1
-
27
-
-
84976823860
-
Complete set of reductions for some equational theories
-
Gerald E. Peterson and Mark E. Stickel. Complete set of reductions for some equational theories. Journal of the ACM, 28(2): 233-264, 1981.
-
(1981)
Journal of the ACM
, vol.28
, Issue.2
, pp. 233-264
-
-
Peterson, G.E.1
Stickel, M.E.2
-
28
-
-
84976827574
-
Towards a theory of type structure
-
In Bernard Robinet, editor, Lecture Notes in Computer Science, Springer
-
John C. Reynolds. Towards a theory of type structure. In Bernard Robinet, editor, Programming Symposium: Proceedings of the Colloque sur la Programmation, volume 19 of Lecture Notes in Computer Science, pages 408-425. Springer, 1974.
-
(1974)
Programming Symposium: Proceedings of the Colloque sur la Programmation
, vol.19
, pp. 408-425
-
-
Reynolds, J.C.1
-
29
-
-
0142051871
-
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
-
Peter W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing, 26(5): 1484-1509, 1997.
-
(1997)
SIAM Journal on Computing
, vol.26
, Issue.5
, pp. 1484-1509
-
-
Shor, P.W.1
-
30
-
-
0001748856
-
Intensional interpretations of functionals of finite type I
-
William W. Tait. Intensional interpretations of functionals of finite type I. The Journal of Symbolic Logic, 32(2): 198-212, 1967.
-
(1967)
The Journal of Symbolic Logic
, vol.32
, Issue.2
, pp. 198-212
-
-
Tait, W.W.1
-
31
-
-
70350309885
-
Algebraic totality, towards completeness
-
In Pierre-Louis Curien, editor, Springer
-
Christine Tasson. Algebraic totality, towards completeness. In Pierre-Louis Curien, editor, Proceedings of TLCA-2009, volume 5608 of Lecture Notes in Computer Science, pages 325-340. Springer, 2009.
-
(2009)
Proceedings of TLCA-2009, Lecture Notes in Computer Science
, vol.5608
, pp. 325-340
-
-
Tasson, C.1
-
32
-
-
10444287950
-
Term Rewriting Systems
-
TeReSe, Cambridge University Press
-
TeReSe. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2003.
-
(2003)
Cambridge Tracts in Theoretical Computer Science
, vol.55
-
-
-
33
-
-
84859953446
-
Semantics of a typed algebraic lambda-calculus
-
In S. Barry Cooper, Prakash Panangaden, and Elham Kashefi, editors, Open Publishing Association
-
Benoît Valiron. Semantics of a typed algebraic lambda-calculus. In S. Barry Cooper, Prakash Panangaden, and Elham Kashefi, editors, Proceedings DCM-2010, volume 26 of Electronic Proceedings in Theoretical Computer Science, pages 147-158. Open Publishing Association, 2010.
-
(2010)
Proceedings DCM-2010, Electronic Proceedings in Theoretical Computer Science
, vol.26
, pp. 147-158
-
-
Valiron, B.1
-
34
-
-
84876885204
-
-
Benoît Valiron. Coq proof. www.monoidal.net/vectorial-lvec-coqproof.tar.bz2, 2011.
-
(2011)
Coq proof
-
-
Valiron, B.1
-
35
-
-
38049160417
-
On linear combinations of lambda-terms
-
In Franz Baader, editor, Springer
-
Lionel Vaux. On linear combinations of lambda-terms. In Franz Baader, editor, Proceedings of RTA-2007, volume 4533 of Lecture Notes in Computer Science, pages 374-388. Springer, 2007.
-
(2007)
Proceedings of RTA-2007, Lecture Notes in Computer Science
, vol.4533
, pp. 374-388
-
-
Vaux, L.1
|