Pedagogical second-order \(\lambda \)-calculus
type: Item
instance of: scholarly article
title: Pedagogical second-order \(\lambda \)-calculus
zbMATH Open document ID: 1191.03011
author: Loïc Colson
author: David Michel
published in: Theoretical Computer Science
publication date: 2009-10-09T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 5612512
zbMATH Keywords: typed \(\lambda \)-calculus
zbMATH Keywords: natural deduction
zbMATH Keywords: negationless mathematics
zbMATH Keywords: constructive mathematics
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.04.020
OpenAlex ID: W2076878483
cites work: Pedagogical Second-order Propositional Calculi
cites work: Q4954443
cites work: Q4179016
cites work: Q5824673
cites work: Q3994895
cites work: Q5839919
cites work: Q5798786
cites work: Q5805959
cites work: Intuitionism. An introduction
cites work: A negationless interpretation of intuitionistic theories. I
cites work: A negationless interpretation of intuitionistic theories. II
cites work: Deductive capabilities of negationless intuitionistic arithmetic
cites work: Non-null implication
cites work: A complete negationless system
cites work: Q4255509
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q5559220
cites work: Q5850525
cites work: Q5822067
DOI: 10.1016/J.TCS.2009.04.020
description: scientific article; zbMATH DE number 5612512