https://www.bibsonomy.org/user/draganigajic/logicBibSonomy RSS Feed for /user/draganigajic/logichttp://settheory.com/intro.htmldraganigajic2011-07-13T18:13:39+02:00introduction logic pl setTheory setl <a itemprop="url" data-versiondate="2011-07-13T18:13:39+02:00" href="http://settheory.com/intro.html" rel="nofollow" class="description-link">http://settheory.com/intro.html</a>http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/draganigajic2011-07-13T18:13:30+02:00diophantine foundation lisp logic math metamath people research <a itemprop="url" data-versiondate="2011-07-13T18:13:30+02:00" href="http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/" rel="nofollow" class="description-link">http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/</a>http://www.informatik.uni-kiel.de/~pakcs/draganigajic2011-07-13T18:13:12+02:00curry fp logic programming <a itemprop="url" data-versiondate="2011-07-13T18:13:12+02:00" href="http://www.informatik.uni-kiel.de/~pakcs/" rel="nofollow" class="description-link">http://www.informatik.uni-kiel.de/~pakcs/</a>http://danae.uni-muenster.de/~lux/curry/draganigajic2011-07-13T18:13:12+02:00compiler curry fp haskell logic pl <a itemprop="url" data-versiondate="2011-07-13T18:13:12+02:00" href="http://danae.uni-muenster.de/~lux/curry/" rel="nofollow" class="description-link">http://danae.uni-muenster.de/~lux/curry/</a>http://en.wikipedia.org/wiki/Twelfdraganigajic2011-07-13T18:13:11+02:00cs logic ml proof twelf wikipedia <a itemprop="url" data-versiondate="2011-07-13T18:13:11+02:00" href="http://en.wikipedia.org/wiki/Twelf" rel="nofollow" class="description-link">http://en.wikipedia.org/wiki/Twelf</a>http://plato.stanford.edu/entries/intuitionistic-logic-development/draganigajic2011-07-13T18:13:10+02:00ebook encyclopedia intuitionism logic math philosophy stanford <a itemprop="url" data-versiondate="2011-07-13T18:13:10+02:00" href="http://plato.stanford.edu/entries/intuitionistic-logic-development/" rel="nofollow" class="description-link">http://plato.stanford.edu/entries/intuitionistic-logic-development/</a>http://iml.univ-mrs.fr/~girard/coursang/coursang.htmldraganigajic2011-07-13T18:13:10+02:00girard lectures logic math philosophy proof theory <a itemprop="url" data-versiondate="2011-07-13T18:13:10+02:00" href="http://iml.univ-mrs.fr/~girard/coursang/coursang.html" rel="nofollow" class="description-link">http://iml.univ-mrs.fr/~girard/coursang/coursang.html</a>embeds prolog in js python c# using yield iteratorhttp://yieldprolog.sourceforge.net/draganigajic2011-07-13T18:13:10+02:00javascript logic prolog python <span itemprop="description">embeds prolog in js python c# using yield iterator</span>http://logicaltypes.blogspot.com/2008/08/using-difference-lists.htmldraganigajic2011-07-13T18:13:08+02:00*RIL *read blogpost haskell logic programming prolog <a itemprop="url" data-versiondate="2011-07-13T18:13:08+02:00" href="http://logicaltypes.blogspot.com/2008/08/using-difference-lists.html" rel="nofollow" class="description-link">http://logicaltypes.blogspot.com/2008/08/using-difference-lists.html</a>http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/draganigajic2011-07-13T18:13:08+02:00intuitionism intuitionistic logic math philosophy physics tutorial <a itemprop="url" data-versiondate="2011-07-13T18:13:08+02:00" href="http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/" rel="nofollow" class="description-link">http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/</a>http://mvanier.livejournal.com/2897.htmldraganigajic2011-07-13T18:13:08+02:00*RIL *read combinator cs fp lambdacalculus lisp logic recursion scheme yCombinator <a itemprop="url" data-versiondate="2011-07-13T18:13:08+02:00" href="http://mvanier.livejournal.com/2897.html" rel="nofollow" class="description-link">http://mvanier.livejournal.com/2897.html</a>http://okmij.org/ftp/Computation/monads.html#LogicTdraganigajic2011-07-13T18:13:07+02:00FP haskell logic monads olegKiselyov papers <a itemprop="url" data-versiondate="2011-07-13T18:13:07+02:00" href="http://okmij.org/ftp/Computation/monads.html#LogicT" rel="nofollow" class="description-link">http://okmij.org/ftp/Computation/monads.html#LogicT</a>The Curry-Howard correspondence is a mapping between logic and type systems. On the one hand you have logic systems with propositions and proofs. On the other hand you have type systems with types and programs (or functions). As it turns out these two very different things have very similar rules. This article will explore the Curry-Howard correspondence by constructing a proof system using the Haskell type system (how appropriate since Haskell is named after Haskell Curry, the "Curry" in "Curry-Howard"). We'll set up the rules of logic using Haskell types and programs. Then we'll use these rules as an abstract interface to perform some logic profs.http://www.thenewsh.com/~newsham/formal/curryhoward/draganigajic2011-07-13T18:13:07+02:00correspondence cs curry-howard fp haskell logic math proofs theory typeTheory <span itemprop="description">The Curry-Howard correspondence is a mapping between logic and type systems. On the one hand you have logic systems with propositions and proofs. On the other hand you have type systems with types and programs (or functions). As it turns out these two very different things have very similar rules. This article will explore the Curry-Howard correspondence by constructing a proof system using the Haskell type system (how appropriate since Haskell is named after Haskell Curry, the &#034;Curry&#034; in &#034;Curry-Howard&#034;). We&#039;ll set up the rules of logic using Haskell types and programs. Then we&#039;ll use these rules as an abstract interface to perform some logic profs.</span>http://twelf.plparty.org/wiki/Main_Pagedraganigajic2011-07-13T18:13:06+02:00cs deduction fp logic math ml pl proof twelf wiki <a itemprop="url" data-versiondate="2011-07-13T18:13:06+02:00" href="http://twelf.plparty.org/wiki/Main_Page" rel="nofollow" class="description-link">http://twelf.plparty.org/wiki/Main_Page</a>online curry interpreterhttp://www-ps.informatik.uni-kiel.de/~mh/pakcs/curryinput_c2p.cgi?ACTION=higher.currydraganigajic2011-07-13T18:13:06+02:00! *RIL *read curry demo fp logic pl webapp <span itemprop="description">online curry interpreter</span>http://www.informatik.uni-kiel.de/~mh/curry/draganigajic2011-07-13T18:13:06+02:00*RIL *read FP cs curry declarative haskell logic logicProgramming <a itemprop="url" data-versiondate="2011-07-13T18:13:06+02:00" href="http://www.informatik.uni-kiel.de/~mh/curry/" rel="nofollow" class="description-link">http://www.informatik.uni-kiel.de/~mh/curry/</a>http://www.disi.unige.it/person/MoggiE/draganigajic2011-07-13T18:13:05+02:00*RIL *read bibliography categoryTheory cs logic math monads people pl research <a itemprop="url" data-versiondate="2011-07-13T18:13:05+02:00" href="http://www.disi.unige.it/person/MoggiE/" rel="nofollow" class="description-link">http://www.disi.unige.it/person/MoggiE/</a>http://www.cis.upenn.edu/~bcpierce/draganigajic2011-07-13T18:13:05+02:00*RIL *read bibliography bidirectional categoryTheory coq cs fp haskell lectures logic ml people pl research sync teaching typeTheory unison upenn xml <a itemprop="url" data-versiondate="2011-07-13T18:13:05+02:00" href="http://www.cis.upenn.edu/~bcpierce/" rel="nofollow" class="description-link">http://www.cis.upenn.edu/~bcpierce/</a>http://publish.uwo.ca/~jbell/catlogprime.pdfdraganigajic2011-07-13T18:13:04+02:00book categoryTheory from:realsplog logic math <a itemprop="url" data-versiondate="2011-07-13T18:13:04+02:00" href="http://publish.uwo.ca/~jbell/catlogprime.pdf" rel="nofollow" class="description-link">http://publish.uwo.ca/~jbell/catlogprime.pdf</a>clevnet has the bookhttp://www.cs.man.ac.uk/~pt/Practical_Foundations/draganigajic2011-07-13T18:13:04+02:00100+ categoryTheory dependent-types foundation from:realsplog logic math setTheory theory typetheory <span itemprop="description">clevnet has the book</span>