A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
The Impact of the Lambda Calculus in Logic and Computer Science

1997
*
Bulletin of Symbolic Logic
*

Church

doi:10.2307/421013
fatcat:v7nedk3s3vfk3mob6ao5sl4b74
*to*logic is his invention of the*lambda*calculus. ... [103] succeeded*to*give*lambda*calculus also an extensional interpretation by interpreting*lambda*terms as (*continuous*) functions on some topological space D having its space of*continuous*functions ... One solution is not*to*explicitly mention the I/O channels, as in the*lambda*calculus with*continuations*. ...##
###
150 Years of vortex dynamics
[chapter]

2009
*
IUTAM Bookseries
*

They are $\frac{dl_{\alpha\beta}^{2}}{dt}=\frac{2}{\

doi:10.1007/978-90-481-8584-9_1
fatcat:rkaee7ywinhe5lq2wni6y4fhyq
*pi*}\sum_{\*lambda*=1}^{N}//\Gamma_{\*lambda*}\epsilon_{\alpha\beta\*lambda*}A_{\alpha\beta\*lambda*}(\frac{1}{l_{\beta\*lambda*}^{2}}-\frac{1}{l_{\*lambda*\alpha ... Figure 4 reproduces the original drawing*from*[72] where we find this description: $\*Pi*e$ diagram represents precisely the convex outline referred*to*, and the lines of motion of the interior fluid ...##
###
Some Lambda Calculus and Type Theory Formalized

1997
*
BRICS Report Series
*

We have

doi:10.7146/brics.v4i51.19272
fatcat:l3sb5cg2obeq7foyc6b6ifbdzi
*continued**to*pursue this hobby on and off ever since, and have developed a substantial body of formal knowledge, including Church-Rosser and standardization<br />theorems for beta reduction, and ... That is the first sentence of [MP93], the first report on our formal development of*lambda*calculus and type theory, written in autumn 1992. ... Remark 2.1 (Notation) Often when doing case analysis by term structure, we want*to*say that the binders,*lambda*and*pi*, behave the same way. ...##
###
Domain theoretic models of polymorphism

1989
*
Information and Computation
*

In fact, understanding universal types of the polymorphic I-calculus as categories of

doi:10.1016/0890-5401(89)90068-0
fatcat:5t6bwgsyzjdwtjpyepfqziuehu
*continuous*sections appears*to*be useful generally. ... are interpreted as the category of*continuous*sections of the fibration. ... We may also write (Ff)R*or*even I;(f)" when the meaning is clear*from*context. ...##
###
The Wright ω Function
[chapter]

2002
*
Lecture Notes in Computer Science
*

In particular, although Wright ω is a cognate of the Lambert W function, it presents a different model for handling the branches and multiple values that make the properties of W difficult

doi:10.1007/3-540-45470-5_10
fatcat:bs2fzcvolfg47le6a6ou67264m
*to*work with ... A final point of interest is that some of the techniques used*to*establish the mathematical properties can themselves potentially be automated, as was discussed in a paper presented at AISC Madrid [3] ... The colour graph of the Riemann Surface for ω (not shown here, but used in the upcoming Lambert W poster, was produced with a Maple program written by George Labahn (getting the colours*to*come out*continuous*...##
###
Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient
[chapter]

2008
*
Lecture Notes in Computational Science and Engineering
*

Using novel analysis techniques, it accepts source code involving free use of a first-class forward AD operator and generates object code which attains numerical performance comparable

doi:10.1007/978-3-540-68942-3_8
fatcat:q6mfgwtuhjbehngz45umahgy2e
*to*,*or*better than ... Because the λ -calculus is the basis for modern programming-language implementation techniques, integration of AD into the λ -calculus allows AD*to*be integrated into an aggressive compiler. ... This work was supported, in part, by NSF grant CCF-0438806, Science Foundation Ireland grant 00/*PI*.1/C067, and a grant*from*the Higher Education Authority of Ireland. ...##
###
Polymorphic type inference and containment

1988
*
Information and Computation
*

Type expressions may be used

doi:10.1016/0890-5401(88)90009-0
fatcat:hnxkw7bne5amznoo5hyszv4c4a
*to*describe the functional behavior of untyped*lambda*terms. ... We present a general semantics of polymorphic type expressions over models of untyped*lambda*calculus and give complete rules for inferring types for terms. ... If the containment is an axiom, then we use Lemma 12*or*11. If the containment follows by (trans), then it is trivial, and if it follows by (tong) then we use (AI) and (VIZ). ...##
###
Covert Movement in Logical Grammar
[chapter]

2011
*
Lecture Notes in Computer Science
*

So there is no reason why it has

doi:10.1007/978-3-642-21490-5_2
fatcat:4wuroemcobgphp53jr5fs7dh6m
*to*be derived*from*SS (*or*anything else). ... Moroever the idea of extending the Curry-Howard conception*to*substructural logics was*continually*being*rediscovered*2 ; so, in hindsight at least, it is easy perceive these labelled bracketings as Curry-Howard ...##
###
SEMANTIC NETS ARE IN THE EYE OF THE BEHOLDER
[chapter]

1991
*
Principles of Semantic Networks
*

This terminological problem is not due

doi:10.1016/b978-1-4832-0771-1.50008-4
fatcat:dcb4ratdhbabpnm5z5agbmvfmm
*to*lack of substance*or*coherence of work done under the semantic net banner, Rather, it is due*to*convergence of the major KR schemes: the representational and computational ... are described as logic-based, frame-based, rule-based,*or*something else. ... It is often faster*to**rediscover*something within the framework of one's colony than*to*glean it*from*the writings of another. ...##
###
Dynamic trust negotiation for flexible e-health collaborations

2008
*
Proceedings of the 15th ACM Mardi Gras conference on From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities - MG '08
*

In an organisation we provide security by granting privileges

doi:10.1145/1341811.1341821
dblp:conf/mg/AjayiSS08
fatcat:dzy2hkmhl5eetav4ghnv75i7he
*to*either identities*or*roles. ... Numerous access control approaches exist today*to*address the cross-boundary control issues. ... Acknowledgments This work is supported by a grant*from*the Medical Research Council (MRC) UK and is undertaken as part of the Virtual Organisation for Trials of Epidemiological Studies (VOTES) 3-year project ...##
###
Quasi-prime algebraic domains

1996
*
Theoretical Computer Science
*

It is then possible

doi:10.1016/0304-3975(95)00133-6
fatcat:pieragw4yvgr3anckacwtvg6aq
*to*give, for example, a model for the un-typed*lambda*calculus with a reflexive quasi-prime algebraic domain. PART I. QUASI-PRIME ALGEBRAIC DOMAINS I. ... We show further that with the usual Scott*continuous*functions as morphisms, quasi-prime algebraic domains are cartesian closed. ... Thanks go*to*Michael Huth for pointing out*to*me that I had, as a by-product of considering quasiprime algebraic domains,*rediscovered*the notion of completely irreducible elements. ...##
###
A scheme for multisource interior tomography

2009
*
Medical Physics (Lancaster)
*

*To*demonstrate the merits of this approach, the authors report interior reconstruction

*from*in vivo lung CT data at a much reduced radiation dose, which is roughly proportional

*to*the ROI size. ... Currently, x-ray computed tomography ͑CT͒ requires source scanning so that projections can be collected

*from*various orientations for image reconstruction. ... flow of oil and water that is pumped

*from*oil reservoirs. 35 A promising way

*to*suppress image artifacts and/

*or*increase the FOV is

*to*use detectors in a time-sharing fashion which can also be referred ...

##
###
History of the formulas and algorithms for pi
[article]

2009
*
arXiv
*
pre-print

Among them, we can find series, infinite products, expansions as

arXiv:0807.0872v3
fatcat:cjo2epcy2nff7gqkwdqrgq5ufq
*continued*fractions and expansions using radicals. Some expressions which are (amazingly) related*to**pi*have been evaluated. ... Throughout more than two millennia many formulas have been obtained, some of them beautiful,*to*calculate the number*pi*. ... the*continued*fraction. ...##
###
Categorical Models for a Semantically Linear Lambda-calculus

2010
*
Electronic Proceedings in Theoretical Computer Science
*

This paper is about a categorical approach

doi:10.4204/eptcs.22.1
fatcat:kbeaid46cnasnj7wceoouoaauu
*to*model a very simple Semantically Linear*lambda*calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. ... This category is general enough*to*catch interesting models in Scott Domains and Coherence Spaces. ... Girard [12] discovered linear logic starting*from*a semantical investigation of the second-order*lambda*calculus. ...##
###
Continuity and discontinuity during hominization

1993
*
Quaternary International
*

The hypothesis is that hominizatîon represents a continous phenomenon

doi:10.1016/1040-6182(93)90027-d
fatcat:qjiqp6auyralzh3qezc7rzhhsi
*from*fossil apes*to*Sapiens, i.e. an increase in thé embryonic contraction, but with discontinous effects, i.e. ontogenic organization ... Récent observations on an ontogenetic craniofacial phenomenon hâve led*to*new concepts of facial morphogenesis and*to*récognition of a process called craniofacial contraction. ... ACKNOWLEDGEMENTS I would like*to*thank Dr. Jean Chaline for inviting me*to*thé workshop on 'Modes and Tempos of Evolution in thé Quaternary' and*to*Dr. ...
« Previous

*Showing results 1 — 15 out of 139 results*