Search results
From MaRDI portal
- Publication Type Normalization in the simply typed -calculus 2023-04-27 Paper Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus 2022-04-25...10 bytes (16 words) - 10:43, 12 December 2023
- the simply typed -calculus 2023-04-27 Paper https://portal.mardi4nfdi.de/entity/Q5867517 2022-09-14 Paper Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus...10 bytes (16 words) - 22:03, 24 September 2023
- Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case 2008-08-28 Paper A call-by-need lambda calculus with locally bottom-avoiding...10 bytes (19 words) - 13:00, 11 December 2023
- processes 2002-06-30 Paper Itô's formula for \(C^{1,\lambda}\)-functions of a càdlàg process and related calculus 2002-06-27 Paper Sur l'indépendance d'un temps...10 bytes (16 words) - 00:13, 9 December 2023
- 2008-01-16 Paper Golomb's \(\Lambda\)-calculus and the Bateman-Horn conjecture 2007-02-13 Paper Sur le rang des jacobiennes sur un corps de fonctions 2005-10-17...10 bytes (17 words) - 12:44, 11 December 2023
- spaces cohomology 1997-12-18 Paper The Schubert calculus of decomposable permutations 1997-01-06 Paper Lambda-anneaux non commutatifs 1995-06-25 Paper The...10 bytes (16 words) - 08:22, 9 December 2023
- computations in \(\lambda\)-calculus 2002-03-03 Paper Non finitely generated types and λ-terms combinatoric representation cost 2001-03-19 Paper Un plongement...10 bytes (16 words) - 09:11, 25 September 2023
- Encadrement du N(\(\lambda\) ) pour un opérateur de Schrödinger avec un champ magnétique et un potentiel électrique. (Inclusion of N(\(\lambda\) ) for a Schrödinger...10 bytes (18 words) - 10:42, 9 December 2023
- path-valued Markov process indexed by the ancestral mass 2015-05-07 Paper The \(\Lambda\)-lookdown model with selection 2015-02-13 Paper Random homogenisation of...10 bytes (17 words) - 09:58, 8 December 2023
- produite par un champ oscillant superposé à un champ constant. 1905-01-01 Paper De l'hysteresis magnétique produite par un champ oscillant superposé à un champ...10 bytes (19 words) - 17:18, 13 December 2023
- liquide et visqueuse dans un liquide visqueux. 1911-01-01 Paper Sur les ondes liquides. 1910-01-01 Paper Lectures on the calculus of variation. First volume...10 bytes (17 words) - 08:25, 12 December 2023
- Applications to Natural Language Semantics 2009-07-02 Paper A mixed \(\lambda\)-calculus 2008-01-21 Paper Polarized and focalized linear and classical proofs...10 bytes (16 words) - 17:39, 6 October 2023
- the Kauffman bracket 1993-05-16 Paper LINK POLYNOMIALS AND A GRAPHICAL CALCULUS 1993-05-16 Paper https://portal.mardi4nfdi.de/entity/Q4027125 1993-02-21...10 bytes (17 words) - 05:44, 12 December 2023
- Lehmer's continued cotangent expansions 2007-03-13 Paper Golomb's \(\Lambda\)-calculus and the Bateman-Horn conjecture 2007-02-13 Paper Remainder Padé approximants...10 bytes (16 words) - 11:15, 9 December 2023
- Continuous and discrete Noether's fractional conserved quantities for restricted calculus of variations 2022-04-22 Paper Stochastic modification of Newtonian dynamics...10 bytes (17 words) - 17:11, 24 September 2023
- \(3^{\mathrm me}\) ordre. 1883-01-01 Paper Sur un nouveau système de bascule. 1883-01-01 Paper A new theory of the calculus of variations. 1883-01-01 Paper Note...10 bytes (17 words) - 15:35, 24 September 2023
- d'une équation de Monge. 1930-01-01 Paper Sur un problème de la théorie des surfaces. II. 1930-01-01 Paper Sur un système d'équations aux dérivées partielles...10 bytes (19 words) - 04:08, 7 October 2023
- Formal calculus for real‐valued fractional Brownian motions prospects in systems science 2009-05-18 Paper Table of some basic fractional calculus formulae...10 bytes (17 words) - 08:34, 9 December 2023
- rescaled shape optimization problems 2010-05-06 Paper Minimization of $\lambda_{2}(\Omega)$ with a perimeter constraint 2010-03-24 Paper A survey on the...10 bytes (17 words) - 00:38, 9 December 2023
- de/entity/Q4939708 2000-02-08 Paper Hypergeometric functions on the external power \(\Lambda^k\mathbb{C}^n\) and on the Grassmannian \(G_{k,n}\), their relationships...10 bytes (19 words) - 23:09, 8 December 2023
