Works matching DE "LAMBDA calculus"

Results: 206

Some Properties of Multivalent Functions Associated with a Certain Operator.

Published in:

Ukrainian Mathematical Journal, 2014, v. 65, n. 11, p. 1749, doi. 10.1007/s11253-014-0894-y

By:

He, P.;
Zhang, D.

Publication type:

Article

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 775, doi. 10.1017/S1471068412000282

By:

BARAL, CHITTA;
DZIFCAK, JURAJ;
GONZALEZ, MARCOS A.;
GOTTESMAN, AARON

Publication type:

Article

SPECTRAL SELF-AFFINE MEASURES IN $\mathbb{R}^N$.

Published in:

Proceedings of the Edinburgh Mathematical Society, 2007, v. 50, n. 1, p. 197, doi. 10.1017/S0013091503000324

By:

Li, Jian-Lin

Publication type:

Article

A letter to the Editor.

Published in:

Discrete Mathematics & Applications, 1999, v. 9, n. 6, p. 685

By:

Mustafchiev, L.

Publication type:

Article

Numerals in Model of Human Knowledge Representation.

Published in:

eLearning & Software for Education, 2019, v. 2, p. 93, doi. 10.12753/2066-026X-19-081

By:

KRESTOV, Sergey;
STROGANOV, Iurii;
LOGINOVA, Alyona

Publication type:

Article

CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI.

Published in:

Review of Symbolic Logic, 2021, v. 14, n. 3, p. 645, doi. 10.1017/S1755020320000015

By:

ZACH, RICHARD

Publication type:

Article

BUNDER'S PARADOX.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 4, p. 829, doi. 10.1017/S1755020319000054

By:

CAIE, MICHAEL

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

Propositional quantifiers in labelled natural deduction for normal modal logic.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 865, doi. 10.1093/jigpal/jzz008

By:

Pascucci, Matteo

Publication type:

Article

The computational content of atomic polymorphism.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 625, doi. 10.1093/jigpal/jzy076

By:

Ferreira, Gilda;
Vasconcelos, Vasco T

Publication type:

Article

Pattern-based calculi with finitary matching.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 203, doi. 10.1093/jigpal/jzx059

By:

ALVES, SANDRA;
DUNDUA, BESIK;
FLORIDO, MÁRIO;
KUTSIA, TEMUR

Publication type:

Article

Non-idempotent intersection types for the Lambda-Calculus.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 431, doi. 10.1093/jigpal/jzx018

By:

Bucciarelli, Antonio;
Kesner, Delia;
Ventura, Daniel

Publication type:

Article

On the number of variables in undecidable superintuitionistic propositional calculi.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 774, doi. 10.1093/jigpal/jzw018

By:

BOKOV, GRIGORIY V.

Publication type:

Article

On the complexity of Bounded Second-Order Unification and Stratified Context Unification.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 763, doi. 10.1093/jigpal/jzq010

By:

Levy, Jordi;
Schmidt-Schauß, Manfred;
Villaret, Mateu

Publication type:

Article

Explicit substitutions calculi with one step Eta-reduction decided explicitly.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027

By:

Ventura, Daniel;
Ayala-Rincón, Mauricio;
Kamareddine, Fairouz

Publication type:

Article

From light logics to type assignments: a case study.

Published in:

2009

By:

GABOARDI, MARCO;
DELLA ROCCA, SIMONA RONCHI

Publication type:

Case Study

Comparing Computational Power.

Published in:

Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 633, doi. 10.1093/jigpal/jzl003

By:

Boker, Udi;
Dershowitz, Nachum

Publication type:

Article

EQUIVALENCE OF EVAL-READBACK AND EVAL-APPLY BIG-STEP EVALUATORS BY STRUCTURING THE LAMBDA-CALCULUS'S STRATEGY SPACES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 24:1, doi. 10.46298/LMCS-20(4:24)2024

By:

NOGUEIRA, PABLO;
GARCÍA-PÉREZ, ÁLVARO

Publication type:

Article

ON THE SEMANTIC EXPRESSIVENESS OF ISO- AND EQUI-RECURSIVE TYPES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 14:1, doi. 10.46298/LMCS-20(4:14)2024

By:

DEVRIESE, DOMINIQUE;
MARTIN, ERIC M.;
PATRIGNANI, MARCO

Publication type:

Article

FULLY ABSTRACT ENCODINGS OF λ-CALCULUS IN HOcore THROUGH ABSTRACT MACHINES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 3:1, doi. 10.46298/LMCS-20(3:3)2024

By:

BIERNACKA, MAŁGORZATA;
BIERNACKI, DARIUSZ;
LENGLET, SERGUEÏ;
POLESIUK, PIOTR;
POUS, DAMIEN;
SCHMITT, ALAN

Publication type:

Article

ADDING NEGATION TO LAMBDA MU.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:12)2023

By:

VAN BAKEL, STEFFEN

Publication type:

Article

TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:22)2022

By:

PROTIN, M. CLARENCE;
FERREIRA, GILDA

Publication type:

Article

QUANTUM CONTROL IN THE UNITARY SPHERE: LAMBDA-S<sub>1 </sub>AND ITS CATEGORICAL MODEL.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:32)2022

By:

DÍAZ-CARO, ALEJANDRO;
MALHERBE, OCTAVIO

Publication type:

Article

ON HIGHER-ORDER PROBABILISTIC SUBRECURSION.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:25)2021

By:

BREUVART, FLAVIEN;
LAGO, UGO DAL;
HERROU, AGATHE

Publication type:

Article

FIXED POINT COMBINATORS AS FIXED POINTS OF HIGHER-ORDER FIXED POINT GENERATORS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:7)2020

By:

POLONSKY, ANDREW

Publication type:

Article

REVISITING CALL-BY-VALUE BÖHM TREES IN LIGHT OF THEIR TAYLOR EXPANSION.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:6)2020

By:

KERINEC, EMMA;
MANZONETTO, GIULIO;
PAGANI, MICHELE

Publication type:

Article

DUAL-CONTEXT CALCULI FOR MODAL LOGIC.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:10)2020

By:

KAVVOS, G. A.

Publication type:

Article

A LIGHT MODALITY FOR RECURSION.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.23638/LMCS-15(1:8)2019

By:

SEVERI, PAULA

Publication type:

Article

STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:29)2017

By:

GUERRIERI, GIULIO;
PAOLINI, LUCA;
ROCCA, SIMONA RONCHI DELLA

Publication type:

Article

ON NATURAL DEDUCTION FOR HERBRAND CONSTRUCTIVE LOGICS I: CURRY-HOWARD CORRESPONDENCE FOR DUMMETT'S LOGIC LC.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:13)2016

By:

ASCHIERI, FEDERICO

Publication type:

Article

THE GUARDED LAMBDA-CALCULUS: PROGRAMMING AND REASONING WITH GUARDED RECURSION FOR COINDUCTIVE TYPES.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:7)2016

By:

CLOUSTON, RANALD;
BIZJAK, ALE;
GRATHWOHL, HANS BUGGE;
BIRKEDAL, LARS

Publication type:

Article

NO SOLVABLE LAMBDA-VALUE TERM LEFT BEHIND.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:12)2016

By:

GARCÍA-PÉREZ, ÁLVARO;
NOGUEIRA, PABLO

Publication type:

Article

ON THE CHARACTERIZATION OF MODELS OF H*: THE SEMANTICAL ASPECT.

Published in:

Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/lmcs-12(2:4)2016

By:

BREUVART, FLAVIEN

Publication type:

Article

A CORRESPONDENCE BETWEEN ROOTED PLANAR MAPS AND NORMAL PLANAR LAMBDA TERMS.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:22)2015

By:

ZEILBERGER, NOAM;
GIORGETTI, ALAIN

Publication type:

Article

USING MODELS TO MODEL-CHECK RECURSIVE SCHEMES.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/lmcs-11(2:7)2015

By:

SALVATI, SYLVAIN;
WALUKIEWICZ, IGOR

Publication type:

Article

SIMULATION IN THE CALL-BY-NEED LAMBDA-CALCULUS WITH LETREC, CASE, CONSTRUCTORS, AND SEQ.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:7)2015

By:

SCHMIDT-SCHAUSS, MANFRED;
SABEL, DAVID;
MACHKASOVA, ELENA

Publication type:

Article

ABOUT THE RANGE PROPERTY FOR H.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:3)2014

By:

DAVID, RENÉ;
NOUR, KARIM

Publication type:

Article

ORDERED MODELS OF THE LAMBDA CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:21)2013

By:

CARRARO, A.;
SALIBRA, A.

Publication type:

Article

NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:20)2013

By:

KURZ, ALEXANDER;
PETRIŞAN, DANIELA;
SEVERI, PAULA;
DE VRIES, FER-JAN

Publication type:

Article

STEP-INDEXED RELATIONAL REASONING FOR COUNTABLE NONDETERMINISM.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:4)2013

By:

BIRKEDAL, LARS;
BIZJAK, ALEŠ;
SCHWINGHAMMER, JAN

Publication type:

Article

CARTESIAN CLOSED 2-CATEGORIES AND PERMUTATION EQUIVALENCE IN HIGHER-ORDER REWRITING.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:10)2013

By:

HIRSCHOWITZ, TOM

Publication type:

Article

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

A Quantile Survival Model for Censored Data.

Published in:

Australian & New Zealand Journal of Statistics, 2013, v. 55, n. 2, p. 155, doi. 10.1111/anzs.12028

By:

Cai, Yuzhi

Publication type:

Article

Feasible Operations and Applicative Theories Based on λη.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 291, doi. 10.1002/1521-3870(200008)46:3<291::AID-MALQ291>3.0.CO;2-T

By:

Cantini, Andrea

Publication type:

Article

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 539, doi. 10.1002/malq.19930390155

By:

Valentini, Silvio

Publication type:

Article

THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 39, doi. 10.1002/malq.19920380105

By:

Valentini, Silvio

Publication type:

Article

Pairings on Lambda Algebras.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 343, doi. 10.1002/malq.19910371908

By:

Hatcher, W. S.;
Tonga, Marcel

Publication type:

Article

Type-theoretic logic with an operational account of intensionality.

Published in:

Synthese, 2015, v. 192, n. 3, p. 563, doi. 10.1007/s11229-013-0390-1

By:

Fox, Chris;
Lappin, Shalom

Publication type:

Article

BeiDou Inter-Satellite-Type Bias Evaluation and Calibration for Mixed Receiver Attitude Determination.

Published in:

Sensors (14248220), 2013, v. 13, n. 7, p. 9435, doi. 10.3390/s130709435

By:

Nadarajah, Nandakumaran;
Teunissen, Peter J. G.;
Raziq, Noor

Publication type:

Article