Near Matches
Ignore Exact
Full Text
Type Theory
created by
aleksey
printable version
chaos
Hindley-Milner polymorphic type system
System F
Typed Assembly Language
Curry-Howard Isomorphism
Natural Deduction
recursive type
Kind
type constructor
type derivation
sum type
product type
Safety
type safe
monad
Strong normalization
poset
NuPRL
POPL
SIGPLAN
The importance of cardboard boxes
Robin Milner
Mathematical Logic
Constructive
Gottlob Frege
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.
Login
Password
remember me
password reminder
register
Everything2 Help
The best nodes of all time:
Hecate
Red Headed Stranger
Dogfight
Multimedia software essentials 2D IMAGE EDITING
Thirteenth Step
STS-107
Hellboy
India
Jerusalem
Ancient Roman Graffiti
steel drum
Carole King
Using Pavlovian Theory to classically condition inanimate objects
Heitah
Why I love Everything2
(
person
)
trixingee
Dungeon Mastering for the first time
(
idea
)
Netrat0
It's Called Subtext, Honey
(
person
)
eyeofthebeholder
The Dragon
(
idea
)
Heitah
consist, comprise, constitute, or compose
(
idea
)
Meezzio
Gotlandssnus
(
thing
)
argv
Astral Plane
(
idea
)
Madara
One Winged Angel
(
fiction
)
Tom Rook
Talk is cheap
(
poetry
)
shaogo
Adelle Davis
(
person
)
Aerobe
race car g sfjsgsd
(
poetry
)
Binah
Dream Log: July 5, 2008
(
dream
)
StrawberryFrog
Forgotten things in space
(
idea
)
antigravpussy
velvet revolution fairy tale
(
idea
)
Heitah
Nerve agent VX
(
thing
)
Everything 2 is brought to you by the letter C and
The Everything Development Company
