draganigajic > girard | BibSonomy

bookmarks (hide)3
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
RSS
BibTeX
XML

1The Blind Spot
http://iml.univ-mrs.fr/~girard/coursang/coursang.html
10 years ago by @draganigajic
show all tags
girard
lectures
logic
math
philosophy
proof
theory
girardlectureslogicmathphilosophyprooftheory
(0)
copydelete
- community post
- history of this post
1Girard on the Limitations of Categories | The n-Category Café
http://golem.ph.utexas.edu/category/2008/07/girard_on_the_limitations_of_c.html
10 years ago by @draganigajic
show all tags
categoryTheory
girard
johnBaez
categoryTheorygirardjohnBaez
(0)
copydelete
- community post
- history of this post
1PROOFS AND TYPES
lectures
10 years ago by @draganigajic
show all tags
course
girard
lectures
logic
math
proof
systemF
typeTheory
coursegirardlectureslogicmathproofsystemFtypeTheory
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

No matching posts.

⟨⟨
⟨
⟩
⟩⟩