?

Log in

Interests

Try searching posts and comments with the new LiveJournal text search

Find people and communities interested in:
 
Modify your interests based on those of:
 
 

Results for communities interested in "curry-howard isomorphism"

1 match:

  • declarative - Declarative Programming Languages (Updated 10 years ago)

Results for users interested in "curry-howard isomorphism"

More fun stuff can be found on the interests page.

9 matches:


jcreed userpic
jcreed
Name:Jason
Journal:Notes from a Medium-Sized Island
Updated 5 months ago
enumeratedworld userpic
enumeratedworld
Name:enumeratedworld
Journal:Enumerated World
Updated 1 year ago
atheorist userpic
atheorist
Name:atheorist
Journal:Idle Speculations
Updated 3 years ago
ekorber userpic
ekorber
Name:Erin
Journal:I never post here.
Updated 4 years ago
shae userpic
shae
Name:Shae Erisson
Journal:The Revenge of the Anti-Penguin
Updated 5 years ago
taral userpic
taral
Name:JP Sugarbroad
Updated 7 years ago
etopiei userpic
etopiei
Name:mBrewer
Updated 7 years ago
no default userpic
lambdageek
Name:Aleksey
Journal:Lambdageek.org/aleksey/journal
Updated 9 years ago
flaviusb userpic
flaviusb
Name:Justin Marsh
Journal:Ode pour L'Election de son Sépulchre
Updated 9 years ago