## Found 453 Documents (Results 1–100)

100
MathJax

MSC:  68-XX
Full Text:

MSC:  68Txx
Full Text:

### A thesis for interaction. (English)Zbl 07437215

MSC:  68Q85 68Q10
Full Text:

### Algebras of UTxO blockchains. (English)Zbl 07547343

MSC:  68P25 18A40 94A60
Full Text:

MSC:  68-XX
Full Text:

MSC:  68N18
Full Text:

### Aspects of categorical recursion theory. (English)Zbl 1486.81060

Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021).
Full Text:

### Factorization in call-by-name and call-by-value calculi via linear logic. (English)Zbl 07410426

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 205-225 (2021).
MSC:  68Nxx 68Qxx
Full Text:

### Encoding many-valued logic in $$\lambda$$-calculus. (English)Zbl 07379296

MSC:  03B70 68-XX
Full Text:

MSC:  68-XX
Full Text:

### Deriving theorems in implicational linear logic, declaratively. (English)Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
Full Text:

### A historical account of my early research interests. (English)Zbl 07453187

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 1-28 (2020).
MSC:  68N30 68Q60
Full Text:

### The bang calculus revisited. (English)Zbl 07368082

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 13-32 (2020).
MSC:  68N17 68N18
Full Text:

### Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms. (English)Zbl 07350038

MSC:  68-XX
Full Text:

MSC:  03B40 03A05
Full Text:

MSC:  68-XX
Full Text:

MSC:  68-XX
Full Text:

### Spinal atomic $$\lambda$$-calculus. (English)Zbl 07250958

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 582-601 (2020).
MSC:  03B40
Full Text:

### Gems of Corrado Böhm. (English)Zbl 07243677

MSC:  03B70 68-XX
Full Text:

### Fixed point combinators as fixed points of higher-order fixed point generators. (English)Zbl 07226002

MSC:  03B70 68-XX
Full Text:

### A type theory for probabilistic $$\lambda$$-calculus. (English)Zbl 1440.68043

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 86-102 (2020).
MSC:  68N18 03B40
Full Text:

### On properties of $$B$$-terms. (English)Zbl 07215287

MSC:  03B70 68-XX
Full Text:

### A formal system of reduction paths for parallel reduction. (English)Zbl 1433.68190

MSC:  68Q42 03B40 68R10
Full Text:

### Effectful applicative similarity for call-by-name lambda calculi. (English)Zbl 1476.68052

Reviewer: Danko Ilik (Paris)
MSC:  68N18
Full Text:

### On randomised strategies in the $$\lambda$$-calculus. (English)Zbl 1481.03004

MSC:  03B40 68Q42
Full Text:

### An operational interpretation of coinductive types. (English)Zbl 07168147

MSC:  03B70 68-XX
Full Text:

MSC:  03B40
Full Text:

### A core model for choreographic programming. (English)Zbl 1436.68078

MSC:  68N19 68Q85
Full Text:

### Normalization by evaluation for typed weak $$\lambda$$-reduction. (English)Zbl 07561491

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019).
MSC:  03B70 68N30
Full Text:

### On the Taylor expansion of probabilistic $$\lambda$$-terms. (English)Zbl 07559279

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 13, 16 p. (2019).
MSC:  03B70 68Qxx
Full Text:

### Towards a semantic measure of the execution time in call-by-value lambda-calculus. (English)Zbl 07526055

Pagani, Michele (ed.) et al., Proceedings of the twelfth workshop on developments in computational models and ninth workshop on intersection types and related systems, DCM 2018 and ITRS 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 293, 57-72 (2019).
MSC:  68Qxx
Full Text:

### On bisimilarity in lambda calculi with continuous probabilistic choice. (English)Zbl 07515957

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 121-141 (2019).
MSC:  68N30 68Q55
Full Text:

### Analytic equational proof systems for combinatory logic and $$\lambda$$-calculus: a survey. (English)Zbl 1469.03042

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 235-253 (2019).
MSC:  03B40 03F05
Full Text:

Full Text:

MSC:  68N18
Full Text:

### Linear numeral systems. (English)Zbl 1468.03020

MSC:  03B40 03F52
Full Text:

Full Text:

MSC:  68Q42
Full Text:

### A formalisation of nominal $$\alpha$$-equivalence with A, C, and AC function symbols. (English)Zbl 1423.68405

MSC:  68T15 03B70 68Q25
Full Text:

### Intensional computation with higher-order functions. (English)Zbl 1417.68041

MSC:  68Q01 03B40 68Q42
Full Text:

Full Text:

### Self-quotation in a typed, intensional lambda-calculus. (English)Zbl 07513463

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 207-222 (2018).
MSC:  68N30 68Q55
Full Text:

### Proving soundness of extensional normal-form bisimilarities. (English)Zbl 07513454

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 41-56 (2018).
MSC:  68N30 68Q55
Full Text:

### Classical proofs as parallel programs. (English)Zbl 07447733

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 43-57 (2018).
MSC:  68Q45 68Q60 91A80
Full Text:

### Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory. (English)Zbl 1433.68542

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 79-95 (2018).
Full Text:

### (In)efficiency and reasonable cost models. (English)Zbl 1433.68084

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 23-43 (2018).
MSC:  68N18 03B40 68Q15
Full Text:

MSC:  03B40
Full Text:

### Trees from functions as processes. (English)Zbl 06932685

MSC:  03B70 68-XX
Full Text:

### Relational graph models at work. (English)Zbl 1448.68207

MSC:  68N18 03B40
Full Text:

### Inhabitation for non-idempotent intersection types. (English)Zbl 1448.68208

MSC:  68N18 03B40
Full Text:

MSC:  03B40
Full Text:

Full Text:

MSC:  03B40
Full Text:

### On the power of name-passing communication. (English)Zbl 1442.68140

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 22, 15 p. (2017).
MSC:  68Q85
Full Text:

### Refutation of Sallé’s longstanding conjecture. (English)Zbl 1434.03052

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 20, 18 p. (2017).
MSC:  03B40
Full Text:

### Projections for infinitary rewriting. (English)Zbl 1394.68201

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 131-148 (2017).
MSC:  68Q42
Full Text:

### A formalisation of nominal $$\alpha$$-equivalence with A and AC function symbols. (English)Zbl 1401.68273

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 21-38 (2017).
MSC:  68T15 03B70 68Q25
Full Text:

### On abstract normalisation beyond neededness. (English)Zbl 1387.68143

MSC:  68Q42 03B40
Full Text:

### Denotational semantics of membrane systems by using complete metric spaces. (English)Zbl 1382.68069

MSC:  68Q05 68Q55
Full Text:

### Call-by-name extensionality and confluence. (English)Zbl 1418.68033

MSC:  68N18 68Q42
Full Text:

### Normal-order reduction grammars. (English)Zbl 1418.68111

MSC:  68Q42 03B40
Full Text:

### Classical realizability and arithmetical formulæ. (English)Zbl 1456.03026

MSC:  03B40 03F35
Full Text:

### A class of bounded functions, a database language and an extended lambda calculus. (English)Zbl 1372.68057

MSC:  68N18 03B40 68P15
Full Text:

MSC:  03B40
Full Text:

MSC:  03B40
Full Text:

### Classical lambda calculus in modern dress. (English)Zbl 1423.03054

MSC:  03B40 03G30
Full Text:

Full Text:

MSC:  03B40
Full Text:

### The infinitary lambda calculus of the infinite eta Böhm trees. (English)Zbl 1371.03018

MSC:  03B40 03C65 03C75
Full Text:

Full Text:

MSC:  03B40
Full Text:

### Metric reasoning about $$\lambda$$-terms: the general case. (English)Zbl 1485.68058

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 341-367 (2017).
MSC:  68N30 03B40 68N18
Full Text:

### Lambda theories allowing terms with a finite number of fixed points. (English)Zbl 1423.03055

MSC:  03B40 03D25
Full Text:

MSC:  03B40
Full Text:

### Strong normalization through intersection types and memory. (English)Zbl 1394.03023

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 75-91 (2016).
MSC:  03B40 03F05
Full Text:

### Programs as data structures in $$\lambda$$SF-calculus. (English)Zbl 1394.68064

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 221-236 (2016).
MSC:  68N18
Full Text:

### Reasoning about multi-stage programs. (English)Zbl 1420.68040

MSC:  68N18 68N30
Full Text:

Full Text:

### A realizability interpretation for intersection and union types. (English)Zbl 1485.03030

Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 187-205 (2016).
MSC:  03B40
Full Text:

MSC:  03B40
Full Text:

### The expectation monad in quantum foundations. (English)Zbl 1350.68178

MSC:  68Q55 18B30 18C20 18C50 81P10
Full Text:

MSC:  03B40
Full Text:

### Classical by-need. (English)Zbl 1335.68034

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 616-643 (2016).
Full Text:

### An interaction net encoding of Gödel’s system $$\mathcal {T}$$. Declarative pearl. (English)Zbl 1475.68067

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 80-93 (2016).
MSC:  68N18 03B40 68Q42
Full Text:

### Reversibility in the higher-order $$\pi$$-calculus. (English)Zbl 1338.68078

MSC:  68Q10 68Q85
Full Text:

Full Text:

### Termination of rewrite relations on $$\lambda$$-terms based on Girard’s notion of reducibility. (English)Zbl 1332.68103

MSC:  68Q42 03B40
Full Text:

### Theory of interaction. (English)Zbl 1353.68082

MSC:  68Q05 68Q85
Full Text:

### Ranking/unranking of lambda terms with compressed de Bruijn indices. (English)Zbl 1417.68028

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 118-133 (2015).
MSC:  68N18 68N17
Full Text:

### Rewriting strategies and strategic rewrite programs. (English)Zbl 1321.68331

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 380-403 (2015).
Full Text:

MSC:  68Q42
Full Text:

### Observational program calculi and the correctness of translations. (English)Zbl 1309.68052

MSC:  68N30 68N15
Full Text:

MSC:  03B40
Full Text:

MSC:  68N19
Full Text:

### Relational graph models, Taylor expansion and extensionality. (English)Zbl 1337.03022

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 245-272, electronic only (2014).
Full Text:

### Towards a notion of lambda monoid. (English)Zbl 1338.03016

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 59-77, electronic only (2014).
Full Text:

### A metamodel of access control for distributed environments: applications and properties. (English)Zbl 1360.68206

MSC:  68M14 68Q42 68Q55
Full Text:

MSC:  03B40
Full Text:

### Semantic types and approximation for Featherweight Java. (English)Zbl 1358.68180

MSC:  68Q55 68N19
Full Text:

### Call-by-value non-determinism in a linear logic type discipline. (English)Zbl 1434.68083

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 164-178 (2013).
MSC:  68N18 03B40 03F52
Full Text:

all top 5

all top 5

all top 3

all top 3