MATH
Login Or Sign up

List Question

15
178
Views

Hindley's "Introduction to combinatory logic", exercise 6 chapter 2.

Published on
#logic #computer-science #lambda-calculus #combinatory-logic
433
Views

An exercise on combinatory logic

Published on
#logic #computer-science #combinatory-logic
83
Views

Consistency of the SKI calculus as unprovability of S = K

Published on
#computer-science #combinatory-logic
62
Views

Rolling Dice Probability

Published on
#combinatorics #algebra-precalculus #permutations #combinations #combinatory-logic
461
Views

Can all computable numeric functions on church numerals in ski-combinator calculus be expressed using only completely evaluated terms?

Published on
#computability #lambda-calculus #combinatory-logic
167
Views

Combinatory logic - Evaluation exercise (abstraction and weak reduction)

Published on
#combinatory-logic
556
Views

Where to go after _To Mock A Mockingbird_?

Published on
#reference-request #combinatory-logic
173
Views

Why SKI when SK is complete

Published on
#logic #computability #combinatory-logic
762
Views

Smullyan-To-Mock-a-Mockingbird, Find egocentric bird in L

Published on
#recreational-mathematics #puzzle #combinatory-logic
486
Views

How to represent Smullyan's "Mockingbird" puzzles in (Homotopy) Type Theory?

Published on
#constructive-mathematics #type-theory #combinatory-logic #homotopy-type-theory
142
Views

Expressing I combinator and numerals via X combinator

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

Would this be considered a combinator

Published on
#lambda-calculus #combinatory-logic
1.6k
Views

Proving a combinator is a fixed point

Published on
#lambda-calculus #combinatory-logic
8.9k
Views

Can someone explain the Y Combinator?

Published on
#abstract-algebra #computer-science #computability #lambda-calculus #combinatory-logic
4.2k
Views

Looping (ω) Combinator

Published on
#lambda-calculus #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.