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
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • 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
  • RSS
  • BibTeX
  • XML

  •  

     
    1The Blind Spot
     

    http://iml.univ-mrs.fr/~girard/coursang/coursang.html
    14 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
      14 years ago by @draganigajic
      show all tags
      • categoryTheory
      • girard
      • johnBaez
       
        categoryTheorygirardjohnBaez
        (0)
        copydelete
        • community post
        • history of this post
         
         
      •  

         
        1PROOFS AND TYPES
         

        lectures
        14 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
        • author
        • publication date
        • entry type
        • help for advanced sorting...
        • RSS
        • BibTeX
        • RDF
        • more...

          No matching posts.
        • ⟨⟨
        • ⟨
        • ⟩
        • ⟩⟩

        browse

        • girard as tag from all users

        related tags

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

        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
        • research
        • programming
        • 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
        • wikipedia
        • papers
        • .net
        • microsoft
        • 0
        • !
        • wiki
        • ocaml
        • book
        • paper
        • 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 Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.