Friday, January 19, 2007
A REVOLUTION IN LOGIC?
I wanted to compare IF logic to computability logic for a long time. Must find time to do that soon.
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Random thoughts on theory of programming languages by Andris Birkmanis
Links
Blog Archive
-
▼
2007
(34)
-
▼
January
(14)
- Punctuated Data Streams
- Comonadic functional attribute evaluation
- Monads, Kleisli Arrows, Comonads and other Ramblin...
- The Theory of Timed I/O Automata
- What kind of logic is “Independence Friendly” logic?
- A REVOLUTION IN LOGIC?
- Payment as part of game semantics
- Untangling conditions from responsibility
- Hard-play model
- Indexed Containers
- Weakly-typed processes
- Number-parameterized types
- Helping in a multiprocessor environment
- Extending the Multilisp Sponsor Model
-
▼
January
(14)
No comments:
Post a Comment