Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDUgo Dal Lago
Person information
- affiliation: Università degli Studi di Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j44]Ugo Dal Lago, Francesco Gavazzo:
Effectful program distancing. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022)- [j43]Ugo Dal Lago, Francesco Gavazzo:
A relational theory of effects and coeffects. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [i64]Andrea Colledan, Ugo Dal Lago:
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). CoRR abs/2202.07636 (2022) - [i63]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the λ-Calculus, Logarithmically. CoRR abs/2203.00362 (2022) - [i62]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Curry and Howard Meet Borel. CoRR abs/2203.11265 (2022) - [i61]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
On Reinforcement Learning, Effect Handlers, and the State Monad. CoRR abs/2203.15426 (2022) - [i60]Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. CoRR abs/2204.13654 (2022) - 2021
- [j42]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. Log. Methods Comput. Sci. 17(4) (2021) - [j41]Ugo Dal Lago, Naohiko Hoshino
:
The geometry of Bayesian programming. Math. Struct. Comput. Sci. 31(6): 633-681 (2021) - [j40]Martin Avanzini, Gilles Barthe, Ugo Dal Lago:
On continuation-passing transformations and expected cost analysis. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j39]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5(POPL): 1-33 (2021) - [j38]Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - [j37]Ugo Dal Lago, Francesco Gavazzo:
Differential logical relations, part II increments and derivatives. Theor. Comput. Sci. 895: 34-47 (2021) - [c79]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Measure Quantifiers in First-Order Arithmetic. CiE 2021: 12-24 - [c78]Ugo Dal Lago, Francesco Gavazzo:
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD 2021: 23:1-23:19 - [c77]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic and Wagner's Hierarchy. ICTCS 2021: 107-121 - [c76]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Space of Interaction. LICS 2021: 1-13 - [c75]Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem:
A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS 2021: 35:1-35:12 - [e5]Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents] - [i59]Ugo Dal Lago, Francesco Gavazzo:
Modal Reasoning = Metric Reasoning, via Lawvere. CoRR abs/2103.03871 (2021) - [i58]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic. CoRR abs/2103.12862 (2021) - [i57]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Measure Quantifiers in First-Order Arithmetic (Long Version). CoRR abs/2104.12124 (2021) - [i56]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Space of Interaction (long version). CoRR abs/2104.13795 (2021) - [i55]Ugo Dal Lago, Francesco Gavazzo:
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. CoRR abs/2106.12849 (2021) - 2020
- [j36]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16(4) (2020) - [j35]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On probabilistic term rewriting. Sci. Comput. Program. 185 (2020) - [j34]Ugo Dal Lago, Gabriele Vanoni:
On randomised strategies in the λ-calculus. Theor. Comput. Sci. 813: 100-116 (2020) - [j33]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful applicative similarity for call-by-name lambda calculi. Theor. Comput. Sci. 813: 234-247 (2020) - [c74]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. ESOP 2020: 56-83 - [c73]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-Calculi. FoSSaCS 2020: 136-156 - [c72]Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian:
Solvability in a Probabilistic Setting (Invited Talk). FSCD 2020: 1:1-1:17 - [c71]Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago:
On Higher-Order Cryptography. ICALP 2020: 108:1-108:16 - [c70]Ugo Dal Lago, Francesco Gavazzo:
Differential Logical Relations Part II: Increments and Derivatives. ICTCS 2020: 101-114 - [c69]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Machinery of Interaction. PPDP 2020: 4:1-4:15 - [i54]Ugo Dal Lago, Francesco Gavazzo:
A Diagrammatic Calculus for Algebraic Effects. CoRR abs/2001.01337 (2020) - [i53]Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni:
The Abstract Machinery of Interaction (Long Version). CoRR abs/2002.05649 (2020) - [i52]Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago:
On Higher-Order Cryptography (Long Version). CoRR abs/2002.07218 (2020) - [i51]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-calculi. CoRR abs/2002.08392 (2020) - [i50]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. CoRR abs/2002.08489 (2020) - [i49]Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection Types and (Positive) Almost-Sure Termination. CoRR abs/2010.12689 (2020) - [i48]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The (In)Efficiency of Interaction. CoRR abs/2010.12988 (2020)
2010 – 2019
- 2019
- [j32]Patrick Baillot, Gilles Barthe, Ugo Dal Lago:
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. J. Autom. Reason. 63(4): 813-855 (2019) - [j31]Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu:
Intersection types and runtime errors in the pi-calculus. Proc. ACM Program. Lang. 3(POPL): 7:1-7:29 (2019) - [j30]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ACM Trans. Program. Lang. Syst. 41(2): 10:1-10:65 (2019) - [c68]Ugo Dal Lago, Francesco Gavazzo:
Effectful Normal Form Bisimulation. ESOP 2019: 263-292 - [c67]Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu:
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP 2019: 111:1-111:14 - [c66]Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen:
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS 2019: 1-13 - [c65]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS 2019: 1-14 - [c64]Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. LICS 2019: 1-13 - [c63]Ugo Dal Lago, Thomas Leventis:
On the Taylor Expansion of Probabilistic lambda-terms. FSCD 2019: 13:1-13:16 - [c62]Ugo Dal Lago, Francesco Gavazzo:
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. MFPS 2019: 121-141 - [i47]Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. CoRR abs/1904.07425 (2019) - [i46]Ugo Dal Lago, Thomas Leventis:
On the Taylor Expansion of Probabilistic λ-Terms (Long Version). CoRR abs/1904.09650 (2019) - [i45]Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu:
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). CoRR abs/1904.12137 (2019) - 2018
- [j29]Martin Avanzini, Ugo Dal Lago:
On sharing, memoization, and polynomial time. Inf. Comput. 261: 3-22 (2018) - [c61]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. FLOPS 2018: 132-148 - [c60]Ugo Dal Lago, Gabriele Vanoni:
On Randomised Strategies in the λ-calculus. ICTCS 2018: 92-103 - [c59]Flavien Breuvart, Ugo Dal Lago:
On Intersection Types and Probabilistic Lambda Calculi. PPDP 2018: 8:1-8:13 - [e4]Christel Baier, Ugo Dal Lago:
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10803, Springer 2018, ISBN 978-3-319-89365-5 [contents] - [i44]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. CoRR abs/1802.09774 (2018) - [i43]Ugo Dal Lago, Gabriele Vanoni:
On Randomised Strategies in the λ-Calculus (Long Version). CoRR abs/1805.03934 (2018) - [i42]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. CoRR abs/1811.02133 (2018) - 2017
- [j28]Martin Avanzini, Ugo Dal Lago:
Automating sized-type inference for complexity analysis. Proc. ACM Program. Lang. 1(ICFP): 43:1-43:29 (2017) - [c58]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About \lambda -Terms: The General Case. ESOP 2017: 341-367 - [c57]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017: 393-419 - [c56]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017: 370-386 - [c55]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98 - [c54]Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy:
Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12 - [c53]Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu:
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. LICS 2017: 1-12 - [c52]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL 2017: 833-845 - [c51]Martin Avanzini, Ugo Dal Lago:
Automated Sized-Type Inference and Complexity Analysis. DICE-FOPARA@ETAPS 2017: 7-16 - [i41]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing (Long Version). CoRR abs/1701.04089 (2017) - [i40]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion (Long Version). CoRR abs/1701.04786 (2017) - [i39]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About λ-Terms: The General Case (Long Version). CoRR abs/1701.05521 (2017) - [i38]Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu:
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version). CoRR abs/1704.04620 (2017) - [i37]Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy:
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). CoRR abs/1704.04647 (2017) - [i36]Martin Avanzini, Ugo Dal Lago:
Automating Sized Type Inference for Complexity Analysis (Technical Report). CoRR abs/1706.09169 (2017) - [i35]Ugo Dal Lago, Beniamino Accattoli:
Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR abs/1711.10078 (2017) - 2016
- [j27]Beniamino Accattoli, Ugo Dal Lago:
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed. Log. Methods Comput. Sci. 12(1) (2016) - [j26]Patrick Baillot, Ugo Dal Lago:
Higher-order interpretations and program complexity. Inf. Comput. 248: 56-81 (2016) - [j25]Ugo Dal Lago, Ulrich Schöpp:
Computation by interaction for space-bounded functional programming. Inf. Comput. 248: 150-194 (2016) - [j24]Ugo Dal Lago, Simone Martini, Davide Sangiorgi:
Light logics and higher-order processes. Math. Struct. Comput. Sci. 26(6): 969-992 (2016) - [j23]Ugo Dal Lago, Paolo Di Giamberardino:
On session types and polynomial time. Math. Struct. Comput. Sci. 26(8): 1433-1458 (2016) - [c50]Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak:
A lambda-calculus foundation for universal probabilistic programming. ICFP 2016: 33-46 - [c49]Ugo Dal Lago:
Infinitary Lambda Calculi from a Linear Perspective. LICS 2016: 447-456 - [e3]Marko C. J. D. van Eekelen, Ugo Dal Lago:
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9964, 2016, ISBN 978-3-319-46558-6 [contents] - [i34]Ugo Dal Lago:
Infinitary λ-Calculi from a Linear Perspective (Long Version). CoRR abs/1604.08248 (2016) - [i33]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR abs/1610.09629 (2016) - 2015
- [j22]Ugo Dal Lago, Paolo Parisen Toldin:
A higher-order characterization of probabilistic polynomial time. Inf. Comput. 241: 114-141 (2015) - [j21]Ugo Dal Lago, Guillaume Bonfante:
Developments in Implicit Complexity (DICE 2012). Theor. Comput. Sci. 585: 1-2 (2015) - [c48]Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli:
On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design 2015: 65-82 - [c47]Yuxin Deng, Yuan Feng, Ugo Dal Lago:
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440 - [c46]Alberto Cappai, Ugo Dal Lago:
On Equivalences, Metrics, and Polynomial Time. FCT 2015: 311-323 - [c45]Ugo Dal Lago, Alessandro Rioli:
Applicative Bisimulation and Quantum λ-Calculi. FSEN 2015: 54-68 - [c44]Martin Avanzini, Ugo Dal Lago, Georg Moser:
Analysing the complexity of functional programs: higher-order meets first-order. ICFP 2015: 152-164 - [c43]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context. LICS 2015: 559-572 - [c42]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning about λ-Terms: The Affine Case. LICS 2015: 633-644 - [c41]Patrick Baillot, Gilles Barthe, Ugo Dal Lago:
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. LPAR 2015: 203-218 - [c40]Martin Avanzini, Ugo Dal Lago:
On Sharing, Memoization, and Polynomial Time. STACS 2015: 62-75 - [e2]Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents] - [i32]Martin Avanzini, Ugo Dal Lago:
On Sharing, Memoization, and Polynomial Time (Long Version). CoRR abs/1501.00894 (2015) - [i31]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR abs/1505.03635 (2015) - [i30]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning about λ-Terms: the Affine Case (Long Version). CoRR abs/1505.03638 (2015) - [i29]Alberto Cappai, Ugo Dal Lago:
On Equivalences, Metrics, and Polynomial Time (Long Version). CoRR abs/1506.03710 (2015) - [i28]Martin Avanzini, Ugo Dal Lago, Georg Moser:
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version). CoRR abs/1506.05043 (2015) - [i27]Ugo Dal Lago, Alessandro Rioli:
Applicative Bisimulation and Quantum λ-Calculi (Long Version). CoRR abs/1506.06661 (2015) - [i26]Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak:
A Lambda-Calculus Foundation for Universal Probabilistic Programming. CoRR abs/1512.08990 (2015) - 2014
- [j20]Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli:
Probabilistic Recursion Theory and Implicit Computational Complexity. Sci. Ann. Comput. Sci. 24(2): 177-216 (2014) - [j19]Ugo Dal Lago, Barbara Petit:
Linear dependent types in a call-by-value scenario. Sci. Comput. Program. 84: 77-100 (2014) - [c39]Beniamino Accattoli, Ugo Dal Lago:
Beta reduction is invariant, indeed. CSL-LICS 2014: 8:1-8:10 - [c38]Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The geometry of synchronization. CSL-LICS 2014: 35:1-35:10 - [c37]Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. ESOP 2014: 209-228 - [c36]Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago:
Measurements in Proof Nets as Higher-Order Quantum Circuits. ESOP 2014: 371-391 - [c35]Ugo Dal Lago, Sara Zuppiroli:
Probabilistic Recursion Theory and Implicit Computational Complexity. ICTAC 2014: 97-114 - [c34]Ugo Dal Lago, Davide Sangiorgi, Michele Alberti:
On coinductive equivalences for higher-order probabilistic functional programs. POPL 2014: 297-308 - [c33]Ugo Dal Lago, Margherita Zorzi:
Wave-Style Token Machines and Quantum Lambda Calculi. LINEARITY 2014: 64-78 - [e1]Ugo Dal Lago, Ricardo Peña:
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8552, Springer 2014, ISBN 978-3-319-12465-0 [contents] - [i25]Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). CoRR abs/1401.3766 (2014) - [i24]Beniamino Accattoli, Ugo Dal Lago:
Beta Reduction is Invariant, Indeed (Long Version). CoRR abs/1405.3311 (2014) - [i23]Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The Geometry of Synchronization (Long Version). CoRR abs/1405.3427 (2014) - [i22]Ugo Dal Lago, Sara Zuppiroli:
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). CoRR abs/1406.3378 (2014) - 2013
- [c32]Ugo Dal Lago, Giulio Pellitta:
Complexity Analysis in Presence of Control Operators and Higher-Order Functions. LPAR 2013: 258-273 - [c31]Ugo Dal Lago, Barbara Petit:
The geometry of types. POPL 2013: 167-178 - [i21]Ugo Dal Lago, Margherita Zorzi:
Wave-Style Token Machines and Quantum Lambda Calculi. CoRR abs/1307.0550 (2013) - [i20]Ugo Dal Lago, Giulio Pellitta:
Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version). CoRR abs/1310.1763 (2013) - [i19]Ugo Dal Lago, Davide Sangiorgi, Michele Alberti:
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version). CoRR abs/1311.1722 (2013) - 2012
- [j18]Ugo Dal Lago, Simone Martini:
On Constructor Rewrite Systems and the Lambda Calculus. Log. Methods Comput. Sci. 8(3) (2012) - [j17]Ugo Dal Lago, Margherita Zorzi:
Probabilistic operational semantics for the lambda calculus. RAIRO Theor. Informatics Appl. 46(3): 413-450 (2012) - [j16]Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen:
On quasi-interpretations, blind abstractions and implicit complexity. Math. Struct. Comput. Sci. 22(4): 549-580 (2012) - [c30]Patrick Baillot, Ugo Dal Lago:
Higher-Order Interpretations and Program Complexity. CSL 2012: 62-76 - [c29]Ugo Dal Lago, Barbara Petit:
Linear dependent types in a call-by-value scenario. PPDP 2012: 115-126 - [c28]Beniamino Accattoli, Ugo Dal Lago:
On the Invariance of the Unitary Cost Model for Head Reduction. RTA 2012: 22-37 - [i18]