MATH
Login Or Sign up

List Question

15
648
Views

Relation between Lambda calculus and SKI combinator calculus

Published on
#lambda-calculus #combinatory-logic
107
Views

How to define halting status in combinatory logic

Published on
#combinatory-logic
58
Views

Could we define an arity of a term in combinatory logic and consider some inference rule?

Published on
#combinatory-logic
233
Views

Hindley and Seldin "Introduction to Combinators and Lambda calculus": Question about the solution to exercise 3.5.

Published on
#lambda-calculus #fixed-points #combinatory-logic
74
Views

number of surjective functions from X to Y where card(Y)=k < n =card(X)

Published on
#discrete-mathematics #combinatory-logic
222
Views

Relationship between the semantics of simply typed lambda calculus and combinatory logic

Published on
#lambda-calculus #type-theory #combinatory-logic
99
Views

An equation involving multisets

Published on
#elementary-set-theory #type-theory #multisets #higher-order-logic #combinatory-logic
178
Views

Chaitin's constant for lambda calculus and combinatory logic

Published on
#computer-science #lambda-calculus #combinatory-logic #chaitin-constant
436
Views

Is there a proof of (non)existence of a proper universal combinator?

Published on
#combinatory-logic
239
Views

Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$

Published on
#proof-verification #induction #computer-science #combinatory-logic
218
Views

What is the precise statement of Craig's theorem?

Published on
#combinatory-logic
2.4k
Views

In what sense is the S-combinator "substitution"?

Published on
#lambda-calculus #combinatory-logic
263
Views

What axioms can be added to $S,K$ combinator algebra without making it collapse into triviality?

Published on
#abstract-algebra #lambda-calculus #combinatory-logic
619
Views

Equality in the untyped lambda calculus without extensionality

Published on
#logic #proof-theory #lambda-calculus #combinatory-logic
54
Views

Number of unique items in a big set from small sample

Published on
#probability #statistics #combinatory-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.