MATH
Login Or Sign up

List Question

15
177
Views

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

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

An exercise on combinatory logic

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

Consistency of the SKI calculus as unprovability of S = K

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

Rolling Dice Probability

Published on
#combinatorics #algebra-precalculus #permutations #combinations #combinatory-logic
460
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
164
Views

Combinatory logic - Evaluation exercise (abstraction and weak reduction)

Published on
#combinatory-logic
553
Views

Where to go after _To Mock A Mockingbird_?

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

Why SKI when SK is complete

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

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

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

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

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

Expressing I combinator and numerals via X combinator

Published on
#logic #lambda-calculus #combinatory-logic
189
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

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

Popular Questions

Copyright © 2021 JogjaFile Inc.