Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

47 résultats
Page :
triés par
Image document

Proof pearl: abella formalization of lambda-calculus cube property

 Beniamino Accattoli
Second international conference on Certified Programs and Proofs, Dec 2012, Kyoto, Japan
Communication dans un congrès hal-00780337v1
Image document

A Fresh Look at the λ-Calculus

 Beniamino Accattoli
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.1⟩
Communication dans un congrès hal-02415786v1
Image document

The Useful MAM, a Reasonable Implementation of the Strong $\lambda$-Calculus

 Beniamino Accattoli
23rd International Workshop on Logic, Language, Information, and Computation (WoLLIC 2016), Aug 2016, Puebla, Mexico. pp.1 - 21, ⟨10.1007/978-3-662-52921-8_1⟩
Communication dans un congrès hal-01425534v1
Image document

The Complexity of Abstract Machines

 Beniamino Accattoli
Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Jun 2016, Porto, Portugal. pp.1 - 15, ⟨10.4204/EPTCS.235.1⟩
Communication dans un congrès hal-01425560v1

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

 Beniamino Accattoli
Logical Methods in Computer Science, 2023, Volume 19, Issue 4, ⟨10.46298/lmcs-19(4:23)2023⟩
Article dans une revue hal-04374165v1
Image document

Proof-Nets and the Call-by-Value Lambda-Calculus

 Beniamino Accattoli
Seventh Workshop on Logical and Semantic Frameworks, with Applications, Sep 2012, Rio de Janeiro, Brazil. ⟨10.4204/EPTCS.113.5⟩
Communication dans un congrès hal-01112158v1
Image document

Sharing a Perspective on the lambda Calculus

 Beniamino Accattoli
Onward! 2023 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2023, Cascais, Portugal. pp.179-190, ⟨10.1145/3622758.3622884⟩
Communication dans un congrès hal-04280550v1
Image document

Abstract Machines for Open Call-by-Value

 Beniamino Accattoli , Giulio Guerrieri
Science of Computer Programming, 2019, 184, ⟨10.1016/j.scico.2019.03.002⟩
Article dans une revue hal-02415780v1
Image document

Proof nets and the call-by-value λ-calculus

 Beniamino Accattoli
Theoretical Computer Science, 2015, ⟨10.1016/j.tcs.2015.08.006⟩
Article dans une revue hal-01244842v1
Image document

An abstract factorization theorem for explicit substitutions

 Beniamino Accattoli
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan
Communication dans un congrès hal-00780344v1
Image document

The Negligible and Yet Subtle Cost of Pattern Matching

 Beniamino Accattoli , Bruno Barras
Programming Languages and Systems - 15th Asian Symposium, Nov 2017, Suzhou, China
Communication dans un congrès hal-01675369v1

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

 Beniamino Accattoli
LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-15, ⟨10.1145/3531130.3532445⟩
Communication dans un congrès hal-03912448v1
Image document

Proof Nets and the Linear Substitution Calculus

 Beniamino Accattoli
15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Oct 2018, Stellenbosch, South Africa
Communication dans un congrès hal-01967532v1
Image document

Environments and the Complexity of Abstract Machines.

 Beniamino Accattoli , Bruno Barras
The 19th International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131855⟩
Communication dans un congrès hal-01675358v1
Image document

A Diamond Machine for Strong Evaluation

 Beniamino Accattoli , Pablo Barenbaum
APLAS 2023 - The 21st Asian Symposium on Programming Languages and Systems, Nov 2023, Taipei, Taiwan
Communication dans un congrès hal-04395635v1
Image document

Types of Fireballs

 Beniamino Accattoli , Giulio Guerrieri
APLAS 2018 - 16th Asian Symposium on Programming Languages and System, Dec 2018, Wellington, New Zealand
Communication dans un congrès hal-01967531v1
Image document

On the Relative Usefulness of Fireballs

 Beniamino Accattoli , Claudio Sacerdoti Coen
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.23⟩
Communication dans un congrès hal-01244833v1

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

 Beniamino Accattoli , Delia Kesner
Logical Methods in Computer Science, 2012, 8 (1), pp.44. ⟨10.2168/LMCS-8(1:28)2012⟩
Article dans une revue hal-00780319v1
Image document

Open Call-by-Value

 Beniamino Accattoli , Giulio Guerrieri
14th Asian Symposium on Programming Languages and Systems (APLAS), Nov 2016, Hanoi, Vietnam. pp.206 - 226, ⟨10.1007/978-3-319-47958-3_12⟩
Communication dans un congrès hal-01425465v1
Image document

Useful Open Call-By-Need

 Beniamino Accattoli , Maico Leberle
CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Gottingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.4⟩
Communication dans un congrès hal-03912452v1
Image document

(Leftmost-outermost) beta reduction is invariant, indeed

 Beniamino Accattoli , Ugo Dal Lago
Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
Article dans une revue hal-01337712v1
Image document

On the Invariance of the Unitary Cost Model for Head Reduction

 Beniamino Accattoli , Ugo Dal Lago
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan
Communication dans un congrès hal-00780349v1
Image document

Beta Reduction is Invariant, Indeed

 Beniamino Accattoli , Ugo Dal Lago
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603105⟩
Communication dans un congrès hal-01091551v1
Image document

Call-by-Value solvability, revisited

 Beniamino Accattoli , Luca Paolini
11th International Symposium on Functional and Logic Programming - FLOPS 2012, May 2012, Kobe, Japan
Communication dans un congrès hal-00780358v1
Image document

The permutative lambda calculus

 Beniamino Accattoli , Delia Kesner
18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-18, Mar 2012, Merida, Venezuela
Communication dans un congrès hal-00780361v1
Image document

Factorize Factorization

 Beniamino Accattoli , Claudia Faggian , Giulio Guerrieri
CSL 2021 - 29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.22⟩
Communication dans un congrès hal-03044338v1
Image document

Factorization and Normalization, Essentially

 Beniamino Accattoli , Claudia Faggian , Giulio Guerrieri
APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩
Communication dans un congrès hal-02411556v1

The theory of call-by-value solvability

 Beniamino Accattoli , Giulio Guerrieri
Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.855-885. ⟨10.1145/3547652⟩
Article dans une revue hal-03912446v1
Image document

Light Genericity

 Beniamino Accattoli , Adrienne Lancelot
2024
Pré-publication, Document de travail hal-04406343v1

Preface

 Beniamino Accattoli , Carlos Olarte
Beniamino Accattoli; Carlos Olarte. Electronic Notes in Theoretical Computer Science, 344, pp.1-2, 2019, The proceedings of LSFA 2018, the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA’18), ⟨10.1016/j.entcs.2019.07.001⟩
N°spécial de revue/special issue hal-02415802v1
Page :