Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 2023
[c86]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
Open Higher-Order Logic. CSL 2023: 17:1-17:17- [i71]Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
An Arithmetic Theory to Characterize Poly-Time Random Functions. CoRR abs/2301.12028 (2023) - [i70]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. CoRR abs/2301.12556 (2023) - [i69]Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone:
On the Lattice of Program Metrics. CoRR abs/2302.05022 (2023) - 2022
- [j47]Ugo Dal Lago, Reinhard Kahle
, Isabel Oitavem:
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61(7-8): 1129-1144 (2022) - [j46]Ugo Dal Lago:
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. Math. Struct. Comput. Sci. 32(6): 760-776 (2022) - [j45]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Multi types and reasonable space. Proc. ACM Program. Lang. 6(ICFP): 799-825 (2022) - [j44]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On Feller continuity and full abstraction. Proc. ACM Program. Lang. 6(ICFP): 826-854 (2022) - [j43]Ugo Dal Lago, Francesco Gavazzo:
Effectful program distancing. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [j42]Ugo Dal Lago, Francesco Gavazzo:
A relational theory of effects and coeffects. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [c85]Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina:
Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS 2022: 263-276 - [c84]Ugo Dal Lago, Giulia Giusti:
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. CONCUR 2022: 37:1-37:18 - [c83]Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. FSCD 2022: 4:1-4:18 - [c82]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Curry and Howard Meet Borel. LICS 2022: 45:1-45:13 - [c81]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022: 47:1-47:13 - [e6]Ugo Dal Lago, Daniele Gorla:
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. CEUR Workshop Proceedings 3284, CEUR-WS.org 2022 [contents] - [i68]Andrea Colledan, Ugo Dal Lago:
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). CoRR abs/2202.07636 (2022) - [i67]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the λ-Calculus, Logarithmically. CoRR abs/2203.00362 (2022) - [i66]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Curry and Howard Meet Borel. CoRR abs/2203.11265 (2022) - [i65]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
On Reinforcement Learning, Effect Handlers, and the State Monad. CoRR abs/2203.15426 (2022) - [i64]Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. CoRR abs/2204.13654 (2022) - [i63]Ugo Dal Lago, Giulia Giusti:
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). CoRR abs/2207.03360 (2022) - [i62]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Multi Types and Reasonable Space (Long Version). CoRR abs/2207.08795 (2022) - [i61]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On Feller Continuity and Full Abstraction (Long Version). CoRR abs/2207.10590 (2022) - [i60]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
Open Higher-Order Logic (Long Version). CoRR abs/2211.06671 (2022) - 2021
- [j41]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. Log. Methods Comput. Sci. 17(4) (2021) - [j40]Ugo Dal Lago, Naohiko Hoshino:
The geometry of Bayesian programming. Math. Struct. Comput. Sci. 31(6): 633-681 (2021) - [j39]Martin Avanzini, Gilles Barthe, Ugo Dal Lago:
On continuation-passing transformations and expected cost analysis. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j38]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5(POPL): 1-33 (2021) - [j37]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) - [j36]Ugo Dal Lago, Francesco Gavazzo:
Differential logical relations, part II increments and derivatives. Theor. Comput. Sci. 895: 34-47 (2021) - [c80]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Measure Quantifiers in First-Order Arithmetic. CiE 2021: 12-24 - [c79]Ugo Dal Lago, Francesco Gavazzo:
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD 2021: 23:1-23:19 - [c78]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic and Wagner's Hierarchy. ICTCS 2021: 107-121 - [c77]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Space of Interaction. LICS 2021: 1-13 - [c76]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
- [j35]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16(4) (2020) - [j34]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On probabilistic term rewriting. Sci. Comput. Program. 185 (2020) - [j33]Ugo Dal Lago, Gabriele Vanoni:
On randomised strategies in the λ-calculus. Theor. Comput. Sci. 813: 100-116 (2020) - [j32]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful applicative similarity for call-by-name lambda calculi. Theor. Comput. Sci. 813: 234-247 (2020) - [c75]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 - [c74]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-Calculi. FoSSaCS 2020: 136-156 - [c73]Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian:
Solvability in a Probabilistic Setting (Invited Talk). FSCD 2020: 1:1-1:17 - [c72]Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago:
On Higher-Order Cryptography. ICALP 2020: 108:1-108:16 - [c71]Ugo Dal Lago, Francesco Gavazzo:
Differential Logical Relations Part II: Increments and Derivatives. ICTCS 2020: 101-114 - [c70]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
- [j31]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) - [j30]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) - [j29]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ACM Trans. Program. Lang. Syst. 41(2): 10:1-10:65 (2019) - [c69]Ugo Dal Lago, Francesco Gavazzo:
Effectful Normal Form Bisimulation. ESOP 2019: 263-292 - [c68]Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu:
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP 2019: 111:1-111:14 - [c67]Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen:
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS 2019: 1-13 - [c66]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS 2019: 1-14 - [c65]Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. LICS 2019: 1-13 - [c64]Ugo Dal Lago, Thomas Leventis:
On the Taylor Expansion of Probabilistic lambda-terms. FSCD 2019: 13:1-13:16 - [c63]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
- [j28]Martin Avanzini, Ugo Dal Lago:
On sharing, memoization, and polynomial time. Inf. Comput. 261: 3-22 (2018) - [c62]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. FLOPS 2018: 132-148 - [c61]Ugo Dal Lago, Gabriele Vanoni:
On Randomised Strategies in the λ-calculus. ICTCS 2018: 92-103 - [c60]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
- [j27]Martin Avanzini, Ugo Dal Lago:
Automating sized-type inference for complexity analysis. Proc. ACM Program. Lang. 1(ICFP): 43:1-43:29 (2017) - [c59]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About \lambda -Terms: The General Case. ESOP 2017: 341-367 - [c58]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017: 393-419 - [c57]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017: 370-386 - [c56]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98 - [c55]Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy:
Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12 - [c54]Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu:
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. LICS 2017: 1-12 - [c53]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL 2017: 833-845 - [c52]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
- [j26]Beniamino Accattoli, Ugo Dal Lago:
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed. Log. Methods Comput. Sci. 12(1) (2016) - [j25]Patrick Baillot, Ugo Dal Lago:
Higher-order interpretations and program complexity. Inf. Comput. 248: 56-81 (2016) - [j24]Ugo Dal Lago, Ulrich Schöpp:
Computation by interaction for space-bounded functional programming. Inf. Comput. 248: 150-194 (2016) - [j23]Ugo Dal Lago, Simone Martini, Davide Sangiorgi:
Light logics and higher-order processes. Math. Struct. Comput. Sci. 26(6): 969-992 (2016) - [j22]Ugo Dal Lago, Paolo Di Giamberardino:
On session types and polynomial time. Math. Struct. Comput. Sci. 26(8): 1433-1458 (2016) - [c51]Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak:
A lambda-calculus foundation for universal probabilistic programming. ICFP 2016: 33-46 - [c50]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
- [j21]Ugo Dal Lago, Paolo Parisen Toldin:
A higher-order characterization of probabilistic polynomial time. Inf. Comput. 241: 114-141 (2015) - [j20]Ugo Dal Lago, Guillaume Bonfante:
Developments in Implicit Complexity (DICE 2012). Theor. Comput. Sci. 585: 1-2 (2015) - [c49]Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli:
On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design 2015: 65-82 - [c48]Yuxin Deng, Yuan Feng, Ugo Dal Lago:
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440 - [c47]Alberto Cappai, Ugo Dal Lago:
On Equivalences, Metrics, and Polynomial Time. FCT 2015: 311-323 - [c46]Ugo Dal Lago, Alessandro Rioli:
Applicative Bisimulation and Quantum λ-Calculi. FSEN 2015: 54-68 - [c45]Martin Avanzini, Ugo Dal Lago, Georg Moser:
Analysing the complexity of functional programs: higher-order meets first-order. ICFP 2015: 152-164 - [c44]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context. LICS 2015: 559-572 - [c43]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning about λ-Terms: The Affine Case. LICS 2015: 633-644 - [c42]Patrick Baillot, Gilles Barthe, Ugo Dal Lago:
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. LPAR 2015: 203-218 - [c41]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
- [j19]Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli:
Probabilistic Recursion Theory and Implicit Computational Complexity. Sci. Ann. Comput. Sci. 24(2): 177-216 (2014) - [j18]Ugo Dal Lago, Barbara Petit:
Linear dependent types in a call-by-value scenario. Sci. Comput. Program. 84: 77-100 (2014) - [c40]Beniamino Accattoli, Ugo Dal Lago:
Beta reduction is invariant, indeed. CSL-LICS 2014: 8:1-8:10 - [c39]Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The geometry of synchronization. CSL-LICS 2014: 35:1-35:10 - [c38]