Works matching DE "CURRY-Howard isomorphism"

Results: 26

Antimicrobial and Antioxidant Activities of New Metal Complexes Derived from 3-Aminocoumarin.

Published in:

Molecules, 2011, v. 16, n. 8, p. 6969, doi. 10.3390/molecules16086969

By:

Kadhum, Abdul Amir H.;
Mohamad, Abu Bakar;
Al-Amiery, Ahmed A.;
Takriff, Mohd S.

Publication type:

Article

Row-sum of a class of M-bonomial coefficients.

Published in:

International Journal of Mathematical Education in Science & Technology, 2011, v. 42, n. 4, p. 553, doi. 10.1080/0020739X.2010.551010

By:

Asiru, Muniru A.

Publication type:

Article

Implementing the cylindrical algebraic decomposition within the Coq system.

Published in:

Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 99, doi. 10.1017/S096012950600586X

By:

ASSIA MAHBOUBI

Publication type:

Article

Iman Hafiz Poernomo, John Newsome Crossley and Martin WirsingAdapting Proofs-as-Programs—The Curry–Howard Protocol. Springer (2005). ISBN 0-387-23759-3. $79.95/£50.00/€64.95. 420 pp. Hardbound.

Published in:

2006

By:

CASTÉRAN, PIERRE

Publication type:

Book Review

EXPLICIT AND ASYMPTOTIC FORMULAE FOR VASYUNIN-COTANGENT SUMS.

Published in:

Publications de l'Institut Mathématique, 2017, v. 102, n. 116, p. 155, doi. 10.2298/PIM1716155G

By:

Goubi, Mouloud;
Bayad, Abdelmejid;
Hernane, Mohand Ouamar

Publication type:

Article

ON SEMANTICS OF A TERM CALCULUS FOR CLASSICAL LOGIC.

Published in:

Publications de l'Institut Mathématique, 2012, v. 92, n. 106, p. 79, doi. 10.2298/PIM1206079L

By:

Likavec, Silvia;
Lescanne, Pierre

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

A Formulae-as-Types Interpretation of Subtractive Logic.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 4, p. 529, doi. 10.1093/logcom/14.4.529

By:

Crolard, Tristan

Publication type:

Article

Multiparty session types as coherence proofs.

Published in:

Acta Informatica, 2017, v. 54, n. 3, p. 243, doi. 10.1007/s00236-016-0285-y

By:

Carbone, Marco;
Montesi, Fabrizio;
Schürmann, Carsten;
Yoshida, Nobuko

Publication type:

Article

The rôle of linear logic in coalgebraical approach of computing.

Published in:

Journal of Information & Organizational Sciences, 2011, v. 35, n. 2, p. 197

By:

Slodicák, Viliam;
Macko, Pavol

Publication type:

Article

On Sums of Products of Horadam Numbers.

Published in:

Kyungpook Mathematical Journal, 2009, v. 49, n. 3, p. 483, doi. 10.5666/KMJ.2009.49.3.483

By:

Čerin, Zvonko

Publication type:

Article

Constructive Classical Logic as CPS-Calculus.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 89, doi. 10.1142/S0129054100000065

By:

Ogata, Ichiro;
Olariu, S.

Publication type:

Article

Updating formulae for the sample covariance and correlation.

Published in:

Teaching Statistics, 2012, v. 34, n. 2, p. 65, doi. 10.1111/j.1467-9639.2011.00491.x

By:

Hayes, Kevin

Publication type:

Article

Parametricity, type equality, and higher-order polymorphism.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 2, p. 175, doi. 10.1017/S0956796810000079

By:

Vytiniotis, Dimitrios;
Weirich, Stephanie

Publication type:

Article

AN ANSWER TO A QUESTION ON THE AFFINE BIJECTIONS ON C(X, I).

Published in:

QM - Quaestiones Mathematicae, 2009, v. 32, n. 1, p. 115, doi. 10.2989/QM.2009.32.1.9.711

By:

Ercan, Zafer;
Önal, Süleyman

Publication type:

Article

ON THE EXTENDED KIM'S q-BERNSTEIN POLYNOMIALS.

Published in:

Journal of Computational Analysis & Applications, 2011, v. 13, n. 2, p. 282

By:

Rim, S.-H.;
Jang, L. C.;
Choi, J.;
Kim, Y. H.;
Lee, B.;
Kim, T.

Publication type:

Article

A Curry-Howard view of basic justification logic.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269

By:

Pouliasis, Konstantinos

Publication type:

Article

Soundness and principal contexts for a shallow polymorphic type system based on classical logic.

Published in:

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

By:

Summers, Alexander J.

Publication type:

Article

Exploring Computational Contents of Intuitionist Proofs.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 1, p. 69, doi. 10.1093/jigpal/jzi005

By:

da Silva, Geiza M. Hamazaki;
Haeusler, Edward Hermann;
Veloso, Paulo A. S.

Publication type:

Article

Gödel's interpretation of intuitionism.

Published in:

Philosophia Mathematica, 2006, v. 14, n. 2, p. 208, doi. 10.1093/philmat/nkj004

By:

TAIT, W. W.

Publication type:

Article

Updated NLL Results for ... in and beyond the SM.

Published in:

European Physical Journal C -- Particles & Fields, 2004, v. 33, p. s382, doi. 10.1140/epjcd/s2003-03-318-7

By:

Hurth, T.;
Lunghi, E.;
Porod, W.

Publication type:

Article

DOES THE IMPLICATION ELIMINATION RULE NEED A MINOR PREMISE?

Published in:

Logic & Logical Philosophy, 2018, v. 27, n. 3, p. 351, doi. 10.12775/LLP.2017.019

By:

Francez, Nissim

Publication type:

Article

Aspects of Establishing the Mixing Formulae for Primary Cementing.

Published in:

Petroleum - Gas University of Ploiesti Bulletin, Technical Series, 2010, v. 62, n. 3B, p. 57

By:

Gheorghitoiu, Mihai

Publication type:

Article

Extended Curry-Howard terms for second-order logic.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 274, doi. 10.1002/malq.201100102

By:

Vejjajiva, Pimpen

Publication type:

Article

Quantitative Voronovskaja formulae for generalized Durrmeyer sampling type series.

Published in:

Mathematische Nachrichten, 2016, v. 289, n. 14/15, p. 1702, doi. 10.1002/mana.201500225

By:

Bardaro, Carlo;
Faina, Loris;
Mantellini, Ilaria

Publication type:

Article

Index Sets for n-Decidable Structures Categorical Relative to m-Decidable Presentations.

Published in:

Algebra & Logic, 2015, v. 54, n. 4, p. 336, doi. 10.1007/s10469-015-9353-6

By:

Fokina, E.;
Goncharov, S.;
Harizanov, V.;
Kudinov, O.;
Turetsky, D.

Publication type:

Article