Results 11 to 20 of about 750 (245)
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
CoRR, 2022 Submitted to the Journal of Logical and Algebraic Methods in ...
Dániel Horpácsi +2 more
openaire +2 more sources
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes.
Jan Rochel, Clemens Grabmayer
doaj +1 more source
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
, 2023 Over the last decades, deep neural networks based-models became the dominant paradigm in machine learning. Further, the use of artificial neural networks in symbolic learning has been seen as increasingly relevant recently. To study the capabilities of neural networks in the symbolic AI domain, researchers have explored the ability of deep neural ...
Flach, João +2 more
openaire +2 more sources
Functional Programming and Lambda Calculus [PDF]
, 1990 Contains fulltext : 13246.pdf (Publisher’s version ) (Open Access)
openaire +2 more sources
Supervised data extraction from transformer representation of Lambda-terms
Радіоелектронні і комп'ютерні системиThe object of this research is the process of compiler optimization, as it is essential in modern software development, particularly in functional programming languages like Lambda Calculus.
Oleksandr Deineha
doaj +1 more source
A contextual semantics for concurrent Haskell with futures [PDF]
, 2011 In this paper we analyze the semantics of a higher-order functional language with concurrent threads, monadic IO and synchronizing variables as in Concurrent Haskell. To assure declarativeness of concurrent programming we extend the language by implicit,
Sabel, David +3 more
core +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source