List questions from lambda-calculus

Published on 25 Mar 2026 - 16:02

83

Views

Principal ultrafilters and a bijection

Published on 23 Jun 2020 - 15:02

210

Views

Is non-capture avoiding substitution permitted in the lambda calculus?

Published on 29 Jun 2020 - 9:21

66

Views

Is there a rule system on which all rule systems can be underpinned?

Published on 03 Jul 2020 - 12:22

73

Views

An efficient Beta-Equivalence algorithm?

Published on 07 Jul 2020 - 1:21

166

Views

Converse of Deduction Theorem in Type Theory

Published on 25 Mar 2026 - 11:10

257

Views

How to apply a Church numeral to a $n$-ary function?

Published on 15 Jul 2016 - 11:11

350

Views

Algorithms for type checking, typability and inhabitation problems?

Published on 16 Jul 2016 - 8:01

131

Views

How is $\lambda x.x^2$ a valid lambda expression?

Published on 02 Aug 2016 - 12:20

1.2k

Views

Concurrent Neural Network - Enabling Currying

Published on 26 Mar 2026 - 7:40

433

Views

$\beta$ inequality in $\lambda$-calculus

Published on 19 Aug 2016 - 9:35

74

Views

Lambda Calculus - reduction with a shorthand term

Published on 30 Aug 2016 - 23:03

72

Views

Curry-Howard Correspondence using Smullyan's bird forests

Published on 15 Sep 2016 - 0:03

1k

Views

Lambda calculus free and bound variables

Published on 21 Sep 2016 - 19:14

613

Views

Equality in the untyped lambda calculus without extensionality

Published on 25 Mar 2026 - 11:08

List Question

Extension of a Signature

Principal ultrafilters and a bijection

Is non-capture avoiding substitution permitted in the lambda calculus?

Is there a rule system on which all rule systems can be underpinned?

An efficient Beta-Equivalence algorithm?

Converse of Deduction Theorem in Type Theory

How to apply a Church numeral to a $n$-ary function?

Algorithms for type checking, typability and inhabitation problems?

How is $\lambda x.x^2$ a valid lambda expression?

Concurrent Neural Network - Enabling Currying

$\beta$ inequality in $\lambda$-calculus

Lambda Calculus - reduction with a shorthand term

Curry-Howard Correspondence using Smullyan's bird forests

Lambda calculus free and bound variables

Equality in the untyped lambda calculus without extensionality

Trending Questions

Popular # Hahtags

Popular Questions