BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@draganigajic
  • sign in
  • register
  • home
  • groups
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • genealogy
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @draganigajic
  3. girard

Publication title

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
    12 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
      12 years ago by @draganigajic
      show all tags
      • categoryTheory
      • girard
      • johnBaez
       
        categoryTheorygirardjohnBaez
        (0)
        copydelete
        • community post
        • history of this post
         
         
      •  

         
        1PROOFS AND TYPES
         

        lectures
        12 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.
        • ⟨⟨
        • ⟨
        • ⟩
        • ⟩⟩

          browse

          • girard as tag from all users

          related tags

          • + | lectures
          • + | logic
          • + | math
          • + | proof
          • + | categorytheory
          • + | course
          • + | johnbaez
          • + | philosophy
          • + | systemf
          • + | theory
          • + | typetheory

          concepts

          • ! ←
            • !
            • $
            • **
            • *read
            • *RIL
            • *watch
            • ++
          • browser ←
            • bookmarklet
            • bookmarklets
            • browser
            • browsers
            • chrome
            • css
            • extension
            • Firefox
            • flapjax
            • userchrome.css
          • cs ←
            • a*
            • AbstractStateMachine
            • actor-pl
            • actors
            • ai
            • algorithm
            • algorithms
            • automata
            • bnf
            • categoryTheory
            • closures
            • conferenceproceedings
            • congress
            • covariance
            • cs
            • csail
            • csp
            • typeTheory
          • db ←
            • couchdb
            • database
            • db
            • db4o
            • dbs
            • xmldb
          • FP ←
            • arrows
            • cabal
            • couchdb
            • curry
            • erlang
            • flapjax
            • FP
            • frp
            • functional-programming
            • haggis
            • happs
            • HaRe
            • harper
            • haskell
            • hoogle
            • HSP
            • ml
            • monads
            • ocaml
            • olegKiselyov
            • qi
            • sml
          • google ←
            • adsense
            • appengine
            • cse
            • gmail
            • GOOGLE
            • googlebooks
            • googlecalendar
            • googlecode
            • googleScholar
            • googletechtalk
            • guice
            • gwei
            • gwt
            • search
            • search:googlesearches
            • searchengine
            • searchmonkey
          • java ←
            • guice
            • gwt
            • hibernate
            • java
            • jetty
            • jvm
            • lift
            • maven
            • odersky
            • scala
            • tomcat
            • wicket
          • js/as ←
            • actionscript
            • adobe
            • air
            • ajax
            • amf
            • chickenfoot
            • extjs
            • flapjax
            • flash
            • flex
            • greasemonkey
            • gwt
            • javascript
            • jquery
            • json
            • lapis
            • quicksilver
          • lisp ←
            • c.l.l
            • cl
            • common-lisp
            • continuations
            • elisp
            • emacs
            • lisp
            • naggum
            • olegKiselyov
            • scheme
          • meta ←
            • !
            • $
            • %signedup
            • %zoted
            • &read
            • &unsubed
            • **
            • *get
            • *read
            • *RIL
            • *unseen
            • *watch
            • ++
            • 0
            • 100+
            • 10k+
            • 1k+
            • 2006
            • 2007
            • 2008
            • ?
          • people ←
            • alankay
            • avi_bryant
            • avibryant
            • barryMazur
            • bpierce
            • cBarryJay
            • chaitin
            • chalmers
            • chomsky
            • conalElliot
            • crockford
            • dianeLee
            • dShasha
            • ekidd
            • eMeijer
            • eMoggi
            • felleisen
            • fokkinga
            • gBracha
            • geneEpstein
            • girard
            • grothendieck
            • gvRossum
            • hagino
            • harper
            • hayek
            • hDreyfus
            • heidegger
            • hudak
            • ianHacking
            • jamesIry
            • joeArmstrong
            • joelSpolsky
            • johnBaez
            • johnResig
            • jPaine
            • jResig
            • kent
            • lawvere
            • linusTorvalds
            • lucaCardelli
            • luqui
            • mpj
            • naggum
            • nCarr
            • neilMitchell
            • norvig
            • oDanvy
            • odersky
            • okasaki
            • olegKiselyov
            • oole
            • people
            • royFielding
            • samWanger
            • seligman
            • sjgould
            • sk
            • spj
            • taibbi
            • upenn
            • utrecht
            • wadler
            • xLeroy
            • yegge
            • york
            • zizek
          • popularity ←
            • 0
            • 100+
            • 10k+
            • 1k+
          • programming ←
            • BDD
            • build
            • c
            • C#
            • c++
            • code
            • codegeneration
            • codereading
            • codereview
            • compiler
            • computing
            • concurrency
            • concurrent
            • continuousintegration
            • coroutines
            • FP
            • pl
            • programming
          • ruby ←
            • capistrano
            • Heroku
            • irb
            • merb
            • mongrel
            • rails
            • rspec
            • ruby
            • rubyonrails
          • VC ←
            • bzr
            • distributedVC
            • git
            • github
            • mercurial
            • scm
            • subversion
            • svn
            • vcs
            • versioncontrol

          tags

          • 100+
          • haskell
          • blogpost
          • *read
          • fp
          • tutorial
          • cs
          • categoryTheory
          • software
          • programming
          • research
          • blog
          • *RIL
          • 1k+
          • people
          • math
          • webdev
          • javascript
          • pl
          • video
          • library
          • java
          • search
          • ruby
          • logic
          • tools
          • linux
          • emacs
          • **
          • google
          • monads
          • bibliography
          • lisp
          • web
          • ltu
          • web2.0
          • python
          • papers
          • .net
          • wikipedia
          • 0
          • microsoft
          • !
          • wiki
          • ocaml
          • paper
          • book
          • howto
          • visualization
        What is BibSonomy?
        Getting Started
        Browser Buttons
        Help
        Developer
        Overview
        API Documentation
        Contact & Privacy
        Contact
        Privacy & Terms of Use
        Cookies
        Report Issues
        BibSonomy Wiki
        Integration
        PUMA
        TYPO3 Extension
        WordPress Plugin
        Java REST Client
        Supported Sites
        more
        About BibSonomy
        Team
        Blog
        Mailing List
        Social Media
         Follow us on Twitter

        BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.