Search Results - Lambda calculus complexity enumeration expected complexity*

On counting untyped lambda terms

Authors: Lescanne, Pierre

Contributors: Lescanne, Pierre

Source: Theoretical Computer Science. 474:80-97

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Enumeration, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Complexity, 0102 computer and information sciences, Expected complexity, 16. Peace & justice, 01 natural sciences, Theoretical Computer Science, Logic in Computer Science (cs.LO), [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Lambda calculus complexity enumeration expected complexity, 0101 mathematics, Computer Science(all), Computer Science - Discrete Mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/1107.1327
https://dblp.uni-trier.de/db/journals/corr/corr1107.html#abs-1107-1327
http://www.sciencedirect.com/science/article/pii/S0304397512010493
https://www.sciencedirect.com/science/article/pii/S0304397512010493#!
https://arxiv.org/abs/1107.1327
https://www.sciencedirect.com/science/article/pii/S0304397512010493
https://dblp.uni-trier.de/db/journals/tcs/tcs474.html#Lescanne13

On quantum lambda calculi: a foundational perspective.

Authors: ZORZI, MARGHERITA

Source: Mathematical Structures in Computer Science; Oct2016, Vol. 26 Issue 7, p1107-1195, 89p

Subject Terms: LAMBDA calculus, QUANTUM computing, COMPUTATIONAL complexity, QUANTUM operators, DATA analysis

Expression templates for primal value taping in the reverse mode of algorithmic differentiation.

Authors: Sagebaum, M. Albring, T. Gauger, N. R.

Source: Optimization Methods & Software; Aug-Dec2018, Vol. 33 Issue 4-6, p1207-1231, 25p

Subject Terms: AUTOMATIC differentiation, COMPUTATIONAL fluid dynamics, INTERVAL analysis, LAMBDA calculus, PROGRAMMING languages

The White Puzzle: A Framework for Computation as a Recursive‑Harmonic Phenomenon

Authors: KULIK, DEAN

An open logical framework.

Authors: HONSELL, FURIO LENISA, MARINA SCAGNETTO, IVAN et al.

Source: Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p293-335, 43p

Subject Terms: CONFIRMATION (Logic), TYPE theory, LAMBDA calculus, MODAL logic, PERMUTATIONS

The Lattice of Lambda Theories.

Authors: Lusin, Stefania Salibra, Antonino

Source: Journal of Logic & Computation; Jun2004, Vol. 14 Issue 3, p373-394, 22p

Subject Terms: COMPUTER logic, COMPUTER science, MATHEMATICAL logic, LAMBDA calculus, LATTICE theory, ALGEBRAIC logic

On the computational properties of basic mathematical notions.

Authors: Normann, Dag Sanders, Sam

Source: Journal of Logic & Computation; Dec2022, Vol. 32 Issue 8, p1747-1795, 49p

Subject Terms: COMPUTABLE functions, MATHEMATICS

Detection of fish sedimentary DNA in aquatic systems: A review of methodological challenges and future opportunities.

Authors: Huston, Grayson P. Lopez, Mark Louie D. Cheng, Yuanyu et al.

Source: Environmental DNA; Nov2023, Vol. 5 Issue 6, p1449-1472, 24p

Challenges in Information, Communication and Computing Technology : Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India

Authors: V. Sharmila S. Kannadhasan A. Rajiv Kannan et al.

Resource Type: eBook.

Subjects: Telecommunication systems--Congresses, Artificial intelligence--Congresses

Categories: COMPUTERS / General, COMPUTERS / Computer Engineering, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mechanical

The view from the left.

Authors: CONOR MCBRIDE JAMES MCKINNA

Source: Journal of Functional Programming; Jan2004, Vol. 14 Issue 1, p69-111, 43p

Subject Terms: FUNCTIONAL programming (Computer science), COMPUTER software, ARTIFICIAL languages, ONLINE data processing, SEMANTICS

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Authors: Bach, Bao Gia Kundu, Akash Acharya, Tamal et al.

Source: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Subject Terms: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

A Diffusion Scale Approximation for Stochastic Fission Chains with State Feedback.

Authors: Dubi, Chen Prinja, Anil K.

Source: Nuclear Science & Engineering; 2025 Suppl 1, Vol. 199, pS649-S663, 15p

Subject Terms: BRANCHING processes, STOCHASTIC differential equations, REACTIVITY (Chemistry), STOCHASTIC processes, STOCHASTIC approximation, MONTE Carlo method, MATHEMATICAL models

Augmentations, Fillings, and Clusters for 2-Bridge Links.

Authors: Capovilla-Searle, Orsola Hughes, James Weng, Daping

Source: Selecta Mathematica, New Series; Nov2025, Vol. 31 Issue 5, p1-58, 58p

Subject Terms: CLUSTER set theory, CATALAN numbers, TOPOLOGICAL property

LOW-DENSITY PARITY-CHECK CODES ACHIEVE LIST-DECODING CAPACITY.

Authors: MOSHEIFF, JONATHAN RESCH, NICOLAS RON-ZEWI, NOGA et al.

Source: SIAM Journal on Computing; 2024, Vol. 53 Issue 6, p38-73, 36p

Subject Terms: LINEAR codes, PROBABILITY theory

Safety and Trust in Artificial Intelligence with Abstract Interpretation.

Authors: Singh, Gagandeep Laurel, Jacob Misailovic, Sasa et al.

Source: Foundations & Trends in Programming Languages; 2025, Vol. 8 Issue 3/4, p250-408, 159p

Problem-solving skills among students on the topic of derivatives: Differences in the changes of achievement emotions.

Authors: Hiltrimartin, Cecil Pratiwi, Weni Dwi

Source: Eurasia Journal of Mathematics, Science & Technology Education; Jun2025, Vol. 21 Issue 6, p1-22, 22p

Subject Terms: PEARSON correlation (Statistics), DERIVATIVES (Mathematics), MIDDLE school students, EMOTIONAL state, WORD problems (Mathematics), EMOTIONS

Non-determinism in Gödel's System T.

Authors: Kristiansen, Lars Mender, Bedeho

Source: Theory of Computing Systems; Jul2012, Vol. 51 Issue 1, p85-105, 21p

Subject Terms: DETERMINANTS (Mathematics), SYSTEMS theory, CALCULUS, COMPUTATIONAL complexity, PROBLEM solving, DENOTATIONAL semantics, MATHEMATICAL models

A Domain-theoretic Approach to Statistical Programming Languages.

Authors: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

Source: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p

Subject Terms: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

INTERNAL PATTERN MATCHING QUERIES IN A TEXT AND APPLICATIONS.

Authors: KOCIUMAKA, TOMASZ RADOSZEWSKI, JAKUB RYTTER, WOJCIECH et al.

Source: SIAM Journal on Computing; 2024, Vol. 53 Issue 5, p1524-1577, 54p

Subject Terms: DATA structures, PATTERN matching, DETERMINISTIC algorithms, CONFERENCE papers, INTEGERS, ALGORITHMS

Estimating Algorithmic Information Using Quantum Computing for Genomics Applications.

Authors: Sarkar, Aritra Al-Ars, Zaid Bertels, Koen et al.

Source: Applied Sciences (2076-3417); 3/15/2021, Vol. 11 Issue 6, p2696, 25p

Subject Terms: QUANTUM computing, TURING machines, QUANTUM superposition, GENOMICS, INFORMATION theory, SYNTHETIC biology