Search results
From MaRDI portal
- normalisation and type-directed partial evaluation for typed lambda calculus with sums 2015-11-11 Paper On isomorphisms of intersection types 2015-09-17 Paper...10 bytes (17 words) - 09:33, 6 October 2023
- evaluation for typed lambda calculus with sums 2015-11-11 Paper Specifying Imperative ML-Like Programs Using Dynamic Logic 2011-01-21 Paper Remarks on isomorphisms...10 bytes (13 words) - 08:48, 6 October 2023
- normalisation and type-directed partial evaluation for typed lambda calculus with sums 2015-11-11 Paper Isomorphisms of generic recursive polynomial types 2015-11-11...10 bytes (15 words) - 00:49, 9 December 2023
- recursion and extensional lambda calculi 2019-04-29 Paper A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal...10 bytes (15 words) - 15:14, 12 December 2023
- 2023-04-28 Paper Some lambda calculi with categorical sums and products 2022-12-09 Paper Adding algebraic rewriting to the untyped lambda calculus (extended abstract)...10 bytes (15 words) - 08:42, 6 October 2023
- The arrow calculus 2010-03-17 Paper Extensional Rewriting with Sums 2009-03-10 Paper Shrinking Reductions in SML.NET 2007-10-23 Paper Typed Lambda Calculi...10 bytes (13 words) - 07:26, 25 September 2023
- Kloosterman sums with trace one arguments 2012-10-06 Paper Ternary codes associated with \(\mathrm{O}(3,3^r)\) and power moments of Kloosterman sums with trace...10 bytes (16 words) - 08:14, 9 December 2023
- arising from umbral calculus 2023-10-31 Paper Normal ordering associated with \(\lambda\)-Whitney numbers of the first kind in \(\lambda\)-shift algebra 2023-09-22...10 bytes (14 words) - 16:13, 7 December 2023
- infinitary lambda calculus 2009-06-08 Paper The challenge of computer mathematics 2009-01-20 Paper Towards the range property for the lambda theory \(\mathcal...10 bytes (15 words) - 11:52, 12 December 2023
- \(\Lambda^2\)-strong convergence of numerical sequences and Fourier series 2014-07-21 Paper Integrability and L1-convergence of Certain Cosine Sums with...10 bytes (15 words) - 15:49, 24 September 2023
- Notes on some points in the integral calculus. LXVII. 1928-01-01 Paper Notes on some points in the integral calculus. LXVIII. 1928-01-01 Paper Notes on the...10 bytes (17 words) - 14:35, 6 October 2023
- Paper Infinitary lambda calculus 1998-07-23 Paper Lambda calculus with explicit recursion 1998-07-15 Paper Termination for direct sums of left-linear complete...10 bytes (17 words) - 06:36, 12 December 2023
- by Zweier operator 2014-07-23 Paper On \(\lambda\)-statistical convergence and strongly \(\lambda\)-summable functions of order \(\alpha\) 2014-07-07 Paper...10 bytes (13 words) - 15:11, 6 December 2023
- Second-order Contexts, and Lambda-calculus 2009-08-20 Paper On the completeness of order-theoretic models of the \(\lambda \)-calculus 2009-06-08 Paper A Conditional...10 bytes (15 words) - 17:25, 12 December 2023
- 2023-02-23 Paper Processes and hyperuniverses 2022-08-18 Paper lambda!-calculus, Intersection Types, and Involutions 2022-07-18 Paper On Quantitative Algebraic...10 bytes (13 words) - 16:39, 6 October 2023
- Variable binding term operators in \(\lambda\)-calculus 1979-01-01 Paper Variable binding term operators in \(\lambda\)-calculus 1979-01-01 Paper Alternative forms...10 bytes (15 words) - 11:02, 9 December 2023
- sequence spaces with respect to non-Newtonian calculus 2013-12-11 Paper Some basic results on the sets of sequences with geometric calculus 2013-11-11 Paper...10 bytes (13 words) - 12:42, 11 December 2023
- operators via \(q\)-calculus 2017-02-16 Paper Approximation by Kantorovich type (p,q)-Bernstein-Schurer Operators 2017-01-12 Paper The \(\lambda^{+r}(\mu)\)-statistical...10 bytes (14 words) - 11:37, 28 January 2024
- 2022-06-03 Paper Statistical weighted \((N_\lambda,p,q)(E_\lambda,1)\) \(A\)-summability with application to Korovkin's type approximation theorem 2022-06-03 Paper...10 bytes (17 words) - 13:20, 28 January 2024
- polymorphic typed lambda calculus 1993-08-30 Paper A framework for defining logics 1993-05-16 Paper FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES 1992-06-28...10 bytes (17 words) - 23:56, 9 December 2023
