Works matching DE "LAMBDA calculus"

Results: 205

Comparison of optical properties between ladder and lambda-type EIT medium with Er ion concentration in Er:YAG crystal.

Published in:

Journal of Materials Science: Materials in Electronics, 2014, v. 25, n. 8, p. 3578, doi. 10.1007/s10854-014-2059-z

By:

Asadpour, Seyyed;
Rahimpour Soleimani, H.

Publication type:

Article

STAR TYPES: A TYPE SYSTEM FOR PATTERN CALCULUS.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 137

By:

Dundua, Besik;
Rukhaia, Mikheil;
Tibua, Lali

Publication type:

Article

SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 114

By:

Abzianidze, Lasha

Publication type:

Article

HIGHER-ORDER UNIFICATIN WITH REGULAR TYPES.

Published in:

Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2023, n. 7, p. 12

By:

Dundua, Besik

Publication type:

Article

A Case for the Memory Bus.

Published in:

International Journal of Computer Science & Management Studies, 2013, v. 13, n. 7, p. 79

By:

Tong Wang

Publication type:

Article

Testing and selecting cosmological models with ultra-compact radio quasars.

Published in:

European Physical Journal C -- Particles & Fields, 2017, v. 77, n. 10, p. 1, doi. 10.1140/epjc/s10052-017-5238-2

By:

Li, Xiaolei;
Cao, Shuo;
Zheng, Xiaogang;
Qi, Jingzhao;
Biesiada, Marek;
Zhu, Zong-Hong

Publication type:

Article

Determinations of $$|V_{cb}|$$ and $$|V_{ub}|$$ from baryonic $$\Lambda _b$$ decays.

Published in:

European Physical Journal C -- Particles & Fields, 2017, v. 77, n. 10, p. 1, doi. 10.1140/epjc/s10052-017-5271-1

By:

Hsiao, Y.;
Geng, C.

Publication type:

Article

A Brief Overview of Functional Programming Languages.

Published in:

Electronic Journal of Computer Science & Information Technology, 2016, v. 6, n. 1, p. 32

By:

Kunasaikaran, Jagatheesan;
Iqbal, Azlan

Publication type:

Article

STRONG NORMALIZATION OF A TYPED LAMBDA CALCULUS FOR INTUITIONISTIC BOUNDED LINEAR-TIME TEMPORAL LOGIC.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 29, doi. 10.4467/20842589RM.12.002.0683

By:

KAMIDE, Norihiro

Publication type:

Article

Fuzzy Lambda-Max Criteria Weight Determination for Feature Selection in Clustering.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. S, p. 241

By:

Nurul Adzlyana Mohd Saadon;
Rosma Mohd Doni;
Nurazzah Abd Rahman

Publication type:

Article

Morphometric Study of the Palm Weevils, Rhynchophorus vulneratus and R. ferrugineus (Coleoptera: Curculionidae) in View of Insular and Mainland Populations of Malaysia.

Published in:

Pertanika Journal of Tropical Agricultural Science, 2018, v. 41, n. 3, p. 1329

By:

Sazali, Siti Nurlydia;
Hazmi, Izfa Riza;
Abang, Fatimah;
Rahim, Faszly;
Jemain, Abdul Aziz

Publication type:

Article

Sign and the lambda-term.

Published in:

Semiotica, 2008, v. 2008, n. 169, p. 197, doi. 10.1515/SEM.2008.032

By:

Kumiko Tanaka-Ishii;
Yuichiro Ishii

Publication type:

Article

Remarks on exceptional points and differentiation bases.

Published in:

Acta Mathematica Hungarica, 2016, v. 148, n. 2, p. 370, doi. 10.1007/s10474-016-0588-z

By:

Filipczak, M.;
Filipczak, T.;
Horbaczewska, G.;
Wilczyński, W.

Publication type:

Article

Endpoint asymptotics for Müntz-Legendre polynomials.

Published in:

Acta Mathematica Hungarica, 2011, v. 130, n. 4, p. 372, doi. 10.1007/s10474-010-0013-y

By:

Stefánsson, Úlfar

Publication type:

Article

On efficient Hessian computation using the edge pushing algorithm in Julia.

Published in:

Optimization Methods & Software, 2018, v. 33, n. 4-6, p. 1010, doi. 10.1080/10556788.2018.1480625

By:

Petra, C. G.;
Qiang, F.;
Lubin, M.;
Huchette, J.

Publication type:

Article

Comparing high-order multivariate AD methods.

Published in:

Optimization Methods & Software, 2018, v. 33, n. 4-6, p. 995, doi. 10.1080/10556788.2018.1472256

By:

Neidinger, Richard D.;
Altman, Benjamin

Publication type:

Article

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

Published in:

Optimization Methods & Software, 2018, v. 33, n. 4-6, p. 1207, doi. 10.1080/10556788.2018.1471140

By:

Sagebaum, M.;
Albring, T.;
Gauger, N. R.

Publication type:

Article

Divide-and-conquer checkpointing for arbitrary programs with no user annotation.

Published in:

Optimization Methods & Software, 2018, v. 33, n. 4-6, p. 1288, doi. 10.1080/10556788.2018.1459621

By:

Siskind, Jeffrey Mark;
Pearlmutter, Barak A.

Publication type:

Article

Functional querying in graph databases.

Published in:

Vietnam Journal of Computer Science (Springer Nature), 2018, v. 5, n. 2, p. 95, doi. 10.1007/s40595-017-0104-6

By:

Pokorný, Jaroslav

Publication type:

Article

The algebraic lambda calculus.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 1029, doi. 10.1017/S0960129509990089

By:

Vaux, Lionel

Publication type:

Article

On a measurement-free quantum lambda calculus with classical control.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 297, doi. 10.1017/S096012950800741X

By:

LAGO, UGO DAL;
MASINI, ANDREA;
ZORZI, MARGHERITA

Publication type:

Article

Logical relations for monadic types?

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1169, doi. 10.1017/S0960129508007172

By:

JEAN GOUBAULT-LARRECQ;
S?AWOMIR LASOTA;
DAVID NOWAK

Publication type:

Article

Bunched polymorphism.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1091, doi. 10.1017/S0960129508007159

By:

MATTHEW COLLINSON;
DAVID PYM;
EDMUND ROBINSON

Publication type:

Article

Graph lambda theories.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 975, doi. 10.1017/S0960129508006683

By:

BUCCIARELLI, ANTONIO;
SALIBRA, ANTONINO

Publication type:

Article

A calculus of open modules: call-by-need strategy and confluence?

Published in:

Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 675, doi. 10.1017/S0960129507006238

By:

SONIA FAGORZI;
ELENA ZUCCA

Publication type:

Article

Operational aspects of untyped Normalisation by Evaluation.

Published in:

Mathematical Structures in Computer Science, 2004, v. 14, n. 4, p. 587, doi. 10.1017/s096012950400427x

By:

KLAUS AEHLIG;
FELIX JOACHIMSKI

Publication type:

Article

Type-based termination of recursive definitions.

Published in:

Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 97, doi. 10.1017/s0960129503004122

By:

G. BARTHE;
M. J. FRADE;
E. GIMÉNEZ;
L. PINTO;
T. UUSTALU

Publication type:

Article

Estimating the Five Parameter Lambda Distribution Using Moment Based Methods.

Published in:

Electronic Journal of Applied Statistical Analysis, 2013, v. 6, n. 2, p. 260, doi. 10.1285/i20705948v6n2p260

By:

Mahdi, Smail;
Cadogan, Kimberley

Publication type:

Article

An Essay in λ-Calculus.

Published in:

Metroeconomica, 2004, v. 55, n. 2/3, p. 265, doi. 10.1111/j.0026-1386.2004.00193.x

By:

Pasquali, Carrado

Publication type:

Article

Coherent population trapping in the Lambda system by a two-mode quantized field in an SU(2) coherent state.

Published in:

Journal of Modern Optics, 1999, v. 46, n. 5, p. 755, doi. 10.1080/095003499149502

By:

Gerry, Christopher C.

Publication type:

Article

RELATIVISTIC DYNAMICS WITH COSMOLOGICAL CONSTANT:: SPINNING TEST PARTICLES AND PERFECT FLUID TORI.

Published in:

International Journal of Modern Physics A: Particles & Fields; Gravitation; Cosmology; Nuclear Physics, 2009, v. 24, n. 8/9, p. 1602

By:

KOVÁŘ, JIŘÍ;
SLANÝ, PETR;
STUCHLÍK, ZDENĔK

Publication type:

Article

∞-Groupoid Generated by an Arbitrary Topological λ-Model.

Published in:

Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 465, doi. 10.1093/jigpal/jzab015

By:

Martínez-Rivillas, Daniel O;
Queiroz, Ruy J G B de

Publication type:

Article

Tunable interaction of superconducting flux qubits in circuit QED.

Published in:

Quantum Information Processing, 2016, v. 15, n. 2, p. 721, doi. 10.1007/s11128-015-1185-8

By:

Xue, Zheng-Yuan;
Li, Ya-Fei;
Zhou, Jian;
Gao, Yu-Mei;
Zhang, Gang

Publication type:

Article

FREGE'S HIDDEN ASSUMPTION.

Published in:

Crítica, 2006, v. 38, n. 113, p. 27, doi. 10.22201/iifs.18704905e.2006.479

By:

Slater, Hartley

Publication type:

Article

Predication and cognitive context: Between minimalism and contextualism.

Published in:

Ratio, 2019, v. 32, n. 3, p. 182, doi. 10.1111/rati.12245

By:

Balletta, Sandro;
Domaneschi, Filippo

Publication type:

Article

Categorical and algebraic aspects of the intuitionistic modal logic IEL<sup>―</sup> and its predicate extensions.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 1, p. 347, doi. 10.1093/logcom/exaa082

By:

Rogozin, Daniel

Publication type:

Article

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1567, doi. 10.1093/logcom/exaa055

By:

Kašterović, Simona;
Ghilezan, Silvia

Publication type:

Article

Preface for the special issue of Proof, Structure, and Computation 2014.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 4, p. 417, doi. 10.1093/logcom/exw007

By:

Pattinson, Dirk;
Schuster, Peter;
Sokolova, Ana

Publication type:

Article

Combinatorics of λ-terms: a natural approach.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2611, doi. 10.1093/logcom/exx018

By:

BENDKOWSKI, MACIEJ;
GRYGIEL, KATARZYNA;
LESCANNE, PIERRE;
ZAIONC, MAREK

Publication type:

Article

On the likelihood of normalization in combinatory logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2251, doi. 10.1093/logcom/exx005

By:

BENDKOWSKI, MACIEJ;
GRYGIEL, KATARZYNA;
ZAIONC, MAREK

Publication type:

Article

An open logical framework.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 293, doi. 10.1093/logcom/ext028

By:

HONSELL, FURIO;
LENISA, MARINA;
SCAGNETTO, IVAN;
LIQUORI, LUIGI;
MAKSIMOVIC, PETAR

Publication type:

Article

A single-type logic for natural language.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1112, doi. 10.1093/logcom/exs074

By:

LIEFKE, KRISTINA

Publication type:

Article

Linear Types and Locality.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 3, p. 655, doi. 10.1093/logcom/exs026

By:

Torrini, Paolo

Publication type:

Article

Labelled calculi of resources.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 3, p. 591, doi. 10.1093/logcom/exs021

By:

Fernández, Maribel;
Siafakas, Nikolaos

Publication type:

Article

Linearity: A Roadmap.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 3, p. 513, doi. 10.1093/logcom/exs020

By:

Alves, Sandra;
Fernández, Maribel;
Florido, Mário;
Mackie, Ian

Publication type:

Article

What is a model for a semantically linear λ-calculus?

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 3, p. 557, doi. 10.1093/logcom/exs023

By:

Gaboardi, Marco;
Piccolo, Mauro

Publication type:

Article

Strong normalization in some temporal substructural logics.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 1, doi. 10.1093/logcom/exs002

By:

Kamide, Norihiro

Publication type:

Article

Corrigendum.

Published in:: 2012
Publication type:: Correction Notice

Cover semantics for quantified lax logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 6, p. 1035, doi. 10.1093/logcom/exq029

By:

Goldblatt, Robert

Publication type:

Article

Applying Universal Algebra to Lambda Calculus*.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 4, p. 877, doi. 10.1093/logcom/exn085

By:

MANZONETTO, GIULIO;
SALIBRA, ANTONINO

Publication type:

Article