scholarly journals A general adequacy result for a linear functional language

1997 ◽  
Vol 177 (1) ◽  
pp. 27-58 ◽  
Author(s):  
Torben Braüner
Keyword(s):  
Linear Functional ◽  
Functional Language

scholarly journals Propositions as sessions

2014 ◽  
Vol 24 (2-3) ◽  
pp. 384-418 ◽  
Author(s):  
PHILIP WADLER
Keyword(s):  
Linear Functional ◽  
Linear Logic ◽  
Functional Language ◽  
Session Types ◽  
Deadlock Freedom ◽  
First Time ◽  
Standard Presentation

AbstractContinuing a line of work by Abramsky (1994), Bellin and Scott (1994), and Caires and Pfenning (2010), among others, this paper presents CP, a calculus, in which propositions of classical linear logic correspond to session types. Continuing a line of work by Honda (1993), Hondaet al. (1998), and Gay & Vasconcelos (2010), among others, this paper presents GV, a linear functional language with session types, and a translation from GV into CP. The translation formalises for the first time a connection between a standard presentation of session types and linear logic, and shows how a modification to the standard presentation yields a language free from races and deadlock, where race and deadlock freedom follows from the correspondence to linear logic.

scholarly journals A General Adequacy Result for a Linear Functional Language

1994 ◽  
Vol 1 (22) ◽  
Author(s):  
Torben Braüner
Keyword(s):  
General Result ◽  
Functional Programming ◽  
Linear Functional ◽  
Linear Logic ◽  
Domain Theory ◽  
Main Concern ◽  
Functional Language ◽  
Stable Domain ◽  
Categorical Semantics ◽  
Intuitionistic Linear Logic

A main concern of the paper will be a Curry-Howard interpretation of Intuitionistic Linear Logic. It will be extended with recursion, and the resulting functional programming language will be given operational as well as categorical semantics. The two semantics will be related by soundness and adequacy results. The main features of the categorical semantics are that convergence/divergence behaviour is modelled by a strong monad, and that recursion is modelled by ``linear fixpoints'' induced by CPO structure on the hom-sets. The ``linear fixpoints'' correspond to ordinary fixpoints in the category of free coalgebras w.r.t. the comonad used to interpret the ``of course'' modality. Concrete categories from (stable) domain theory satisfying the axioms of the categorical model are given, and thus adequacy follows in these instances from the general result.

Program equivalence in a linear functional language

2000 ◽  
Vol 10 (2) ◽  
pp. 167-190 ◽  
Author(s):  
G. M. BIERMAN
Keyword(s):  
Linear Functional ◽  
Linear Logic ◽  
Type Systems ◽  
Functional Languages ◽  
Functional Language ◽  
Program Equivalence ◽  
Principal Theorem ◽  
Contextual Equivalence

Researchers have recently proposed that for certain applications it is advantageous to use functional languages whose type systems are based upon linear logic: so-called linear functional languages. In this paper we develop reasoning techniques for programs in a linear functional language, linPCF, based on their operational behaviour. The principal theorem of this paper is to show that contextual equivalence of linPCF programs can be characterised coinductively. This characterisation provides a tractable method for reasoning about contextual equivalence, and is used in three ways:[bull ] A number of useful contextual equivalences between linPCF programs is given.[bull ] A notion of type isomorphism with respect to contextual equivalence, called operational isomorphism, is given. In particular the types !ϕ[otimes ]!ψ and !(ϕ&ψ) are proved to be operationally isomorphic.[bull ] A translation of non-strict PCF into linPCF is shown to be adequate, but not fully abstract, with respect to contextual equivalence.

Assessing Functional Language in School-Aged Children Using Language Sample Analysis

2020 ◽  
Vol 5 (3) ◽  
pp. 622-636
Author(s):  
John Heilmann ◽  
Alexander Tucci ◽  
Elena Plante ◽  
Jon F. Miller
Keyword(s):  
Computer Hardware ◽  
School Age Children ◽  
Functional Language ◽  
School Age ◽  
Clinical Use ◽  
Sample Analysis ◽  
Validity And Reliability ◽  
Language Sample Analysis ◽  
Accuracy And Repeatability ◽  
Language Sample

Purpose The goal of this clinical focus article is to illustrate how speech-language pathologists can document the functional language of school-age children using language sample analysis (LSA). Advances in computer hardware and software are detailed making LSA more accessible for clinical use. Method This clinical focus article illustrates how documenting school-age student's communicative functioning is central to comprehensive assessment and how using LSA can meet multiple needs within this assessment. LSA can document students' meaningful participation in their daily life through assessment of their language used during everyday tasks. The many advances in computerized LSA are detailed with a primary focus on the Systematic Analysis of Language Transcripts (Miller & Iglesias, 2019). The LSA process is reviewed detailing the steps necessary for computers to calculate word, morpheme, utterance, and discourse features of functional language. Conclusion These advances in computer technology and software development have made LSA clinically feasible through standardized elicitation and transcription methods that improve accuracy and repeatability. In addition to improved accuracy, validity, and reliability of LSA, databases of typical speakers to document status and automated report writing more than justify the time required. Software now provides many innovations that make LSA simpler and more accessible for clinical use. Supplemental Material https://doi.org/10.23641/asha.12456719

scholarly journals A numerical technique for a general form of nonlinear fractional-order differential equations with the linear functional argument

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Khalid K. Ali ◽  
Mohamed A. Abd El salam ◽  
Emad M. H. Mohamed
Keyword(s):  
Differential Equations ◽  
Collocation Method ◽  
Fractional Order ◽  
Linear Functional ◽  
Numerical Technique ◽  
Operational Matrix ◽  
Fractional Order Differential Equations ◽  
The Given ◽  
Functional Argument ◽  
Special Case

AbstractIn this paper, a numerical technique for a general form of nonlinear fractional-order differential equations with a linear functional argument using Chebyshev series is presented. The proposed equation with its linear functional argument represents a general form of delay and advanced nonlinear fractional-order differential equations. The spectral collocation method is extended to study this problem as a discretization scheme, where the fractional derivatives are defined in the Caputo sense. The collocation method transforms the given equation and conditions to algebraic nonlinear systems of equations with unknown Chebyshev coefficients. Additionally, we present a general form of the operational matrix for derivatives. A general form of the operational matrix to derivatives includes the fractional-order derivatives and the operational matrix of an ordinary derivative as a special case. To the best of our knowledge, there is no other work discussed this point. Numerical examples are given, and the obtained results show that the proposed method is very effective and convenient.

Fitting partially linear functional-coefficient panel-data models with Stata

2020 ◽  
Vol 20 (4) ◽  
pp. 976-998
Author(s):  
Kerui Du ◽  
Yonghui Zhang ◽  
Qiankun Zhou
Keyword(s):  
Monte Carlo ◽  
Panel Data ◽  
Fixed Effects ◽  
Linear Functional ◽  
Semiparametric Estimation ◽  
Data Models ◽  
Panel Data Models ◽  
Panel Models ◽  
Partially Linear ◽  
Functional Coefficient

In this article, we describe the implementation of fitting partially linear functional-coefficient panel models with fixed effects proposed by An, Hsiao, and Li [2016, Semiparametric estimation of partially linear varying coefficient panel data models in Essays in Honor of Aman Ullah ( Advances in Econometrics, Volume 36)] and Zhang and Zhou (Forthcoming, Econometric Reviews). Three new commands xtplfc, ivxtplfc, and xtdplfc are introduced and illustrated through Monte Carlo simulations to exemplify the effectiveness of these estimators.

scholarly journals Semi-normal operators on uniformly smooth Banach spaces

1990 ◽  
Vol 32 (3) ◽  
pp. 273-276 ◽  
Author(s):  
Muneo Chō
Keyword(s):  
Banach Space ◽  
Linear Functional ◽  
Dual Space ◽  
Complex Banach Space ◽  
Linear Operators ◽  
Bounded Linear ◽  
Uniformly Smooth ◽  
Normal Operators ◽  
Uniformly Smooth Banach Spaces ◽  
The Relationship

In this paper we shall examine the relationship between the numerical ranges and the spectra for semi-normal operators on uniformly smooth spaces.Let X be a complex Banach space. We denote by X* the dual space of X and by B(X) the space of all bounded linear operators on X. A linear functional F on B(X) is called state if ∥F∥ = F(I) = 1. When x ε X with ∥x∥ = 1, we denoteD(x) = {f ε X*:∥f∥ = f(x) = l}.

Program bifurcation for a polymorphically typed functional language

1991 ◽  
Vol 26 (9) ◽  
pp. 142-153 ◽  
Author(s):  
Anne De Niel ◽  
Eddy Bevers ◽  
Karel De Vlaminck
Keyword(s):  
Functional Language

scholarly journals Effect of corpus callosum agenesis on the language network in children and adolescents

2021 ◽  
Author(s):  
Lisa Bartha-Doering ◽  
Ernst Schwartz ◽  
Kathrin Kollndorfer ◽  
Florian Ph. S. Fischmeister ◽  
Astrid Novak ◽  
...  
Keyword(s):  
Functional Connectivity ◽  
Corpus Callosum ◽  
Network Connectivity ◽  
Functional Language ◽  
Healthy Controls ◽  
Language Abilities ◽  
Verbal Abilities ◽  
Left And Right ◽  
Language Network

AbstractThe present study is interested in the role of the corpus callosum in the development of the language network. We, therefore, investigated language abilities and the language network using task-based fMRI in three cases of complete agenesis of the corpus callosum (ACC), three cases of partial ACC and six controls. Although the children with complete ACC revealed impaired functions in specific language domains, no child with partial ACC showed a test score below average. As a group, ACC children performed significantly worse than healthy controls in verbal fluency and naming. Furthermore, whole-brain ROI-to-ROI connectivity analyses revealed reduced intrahemispheric and right intrahemispheric functional connectivity in ACC patients as compared to controls. In addition, stronger functional connectivity between left and right temporal areas was associated with better language abilities in the ACC group. In healthy controls, no association between language abilities and connectivity was found. Our results show that ACC is associated not only with less interhemispheric, but also with less right intrahemispheric language network connectivity in line with reduced verbal abilities. The present study, thus, supports the excitatory role of the corpus callosum in functional language network connectivity and language abilities.

Sign in / Sign up

Export Citation Format

Share Document