Near Matches
Ignore Exact
Full Text
Everything
2
Curry-Howard Isomorphism
printable version
chaos
Type Theory
popularity of isomorphism theorems
Haskell B. Curry
System F
NuPRL
mathematics is beautiful
Functional programming
elegant proof
propositional calculus
Natural Deduction
Alonzo Church
parametric polymorphism
COQ
Lambda calculus
Mathematical Beauty
K
Proof Theory
Logical framework
throat singing
propositional logic
Intuitionalism
Constructive
isomorphism
Intuitionism
Y'know, if you
log in
, you can write something here, or contact authors directly on the site.
Create a New User
if you don't already have an account.
Epicenter
Login
Password
remember me
password reminder
register
Everything2 Help
Cool Staff Picks
Nodes your sibling would have liked:
Is file sharing theft?
non-governmental organization
Why Angled Shots are Easier than Straight Shots
21 Grams
Friedensreich Hundertwasser
Grattan Massacre
The Imperial Roman Army
Flags and flag etiquette
This is just pure cool! It's cryptic, mystical, lovely. I had no choice!
Tour de France
The Wire
Polar bear
biopiracy
New Writeups
Far off approaching
(
poetry
)
by
etouffee
Apurina
(
person
)
by
Texwiller
Write A Poem That Isn't Shitty Quest 2010
(
person
)
by
Footprints
FitQuest 2010
(
idea
)
by
Rai Tai
¡Long Live the Mole Queen!
(
idea
)
by
Ariloulaleelay
January 1, 2010
(
place
)
by
Kizor
Pressed Chocolate Cake
(
recipe
)
by
NanceMuse
hovercar
(
thing
)
by
Glowing Fish
Jennifer Mo
(
person
)
by
Glowing Fish
Cinematronics
(
person
)
by
RobShaver
pseudointellectual
(
person
)
by
Planoneck
Apinaje
(
person
)
by
Texwiller
We all float down here
(
poetry
)
by
ushdfgakjasgh
To Know Him Is to Love Him
(
thing
)
by
mullakamakalaka
The Terrorists
(
idea
)
by
protodevilin
(
more
)