Works matching DE "CURRY-Howard isomorphism"
Results: 26
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:
- Publication type:
- Book Review
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- Publication type:
- Article