Long pages

Showing below up to 20 results starting with #1.

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

1. (hist) ‎Coherent semantics ‎[36,197 bytes]
2. (hist) ‎Sequent calculus ‎[30,427 bytes]
3. (hist) ‎Translations of classical logic ‎[22,726 bytes]
4. (hist) ‎Fragment ‎[22,220 bytes]
5. (hist) ‎GoI for MELL: the *-autonomous structure ‎[20,173 bytes]
6. (hist) ‎Translations of intuitionistic logic ‎[18,862 bytes]
7. (hist) ‎Categorical semantics ‎[16,077 bytes]
8. (hist) ‎Reversibility and focalization ‎[15,790 bytes]
9. (hist) ‎Finiteness semantics ‎[14,911 bytes]
10. (hist) ‎GoI for MELL: partial isometries ‎[13,903 bytes]
11. (hist) ‎Phase semantics ‎[12,726 bytes]
12. (hist) ‎A formal account of nets ‎[11,441 bytes]
13. (hist) ‎Intuitionistic linear logic ‎[9,521 bytes]
14. (hist) ‎Relational semantics ‎[9,413 bytes]
15. (hist) ‎Geometry of interaction ‎[7,453 bytes]
16. (hist) ‎Game semantics ‎[7,353 bytes]
17. (hist) ‎Light linear logics ‎[6,095 bytes]
18. (hist) ‎System L ‎[5,477 bytes]
19. (hist) ‎Positive formula ‎[5,220 bytes]
20. (hist) ‎GoI for MELL: exponentials ‎[4,461 bytes]

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)