kow

251

Reputation

112 views

Registered User

Name	kow
Member for	2 years
Seen	Mar 29 at 16:39
Website
Location
Age

stats recent reputation favorites

1

Questions

5

votes

1

answer

311

views

Are innermost reductions perpetual in untyped $\lambda$-calculus?

lambda-calculus computer-science lo.logic

dec 15 10 at 12:12 kow 251●1●2

6

Answers

votes newest views recent

Between mu- and primitive recursion

Are innermost reductions perpetual in untyped $\lambda$-calculus?

Surreal Numbers as Inductive Type?

Categories presented with Arrows only, no objects: partial monoids

intensional equaity in type theory

Categorical Brouwer-Heyting-Kolmogorov interpretation

0

Votes

10

Tags

lo.logic× 4
ct.category-theory× 3
type-theory× 2
computer-science× 2
surreal-numbers
reference-request
math-philosophy
lambda-calculus
constructive-mathematics
computability-theory

3

Badges