Регистрация | Вход в службу | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: complogic - library [84 articles]

Недавние статьи, отправленные по почте членами complogic группы
  • Manifest Security
    (January 2007)
    by Karl Crary, Robert Harper, Frank Pfenning, Benjamin C Pierce, Stephanie Weirich, Stephan Zdancewic
    posted to access-control authorization logic programming-languages by mfrydr to the group complogic on 2007-10-05 16:23:48 as *****
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to no-tag by dwehr to the group complogic on 2007-06-19 04:01:50 as ***** along with 9 people and 1 group draganigajic dherman JacquesC yallop robennals ben_moseley RalfMitschke jpbernardy pedagand NU-PRL
  • Types, type checking and polymorphism
    posted to no-tag by dwehr to the group complogic on 2007-06-19 03:06:30 as *****
  • Covariance and contravariance: conflict without a cause
    ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (May 1995), pp. 431-447.
    by Giuseppe Castagna
    posted to cited_cgl by dwehr to the group complogic on 2007-07-31 04:22:44 as **** along with 2 people sstrickl scis0000001
  • Subtyping parametric and dependent types
    (1996)
    by Gang Chen, Giuseppe Longo
    edited by Kamareddine
    posted to survey subtyping dependent-types by dwehr to the group complogic on 2007-06-06 06:28:52 as ****
  • Intuitionistic hybrid logic
    Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255.
    by Torben Brauner, Valeria de Paiva
    posted to theory proof logic intuitionistic hybrid by sheila1 to the group complogic on 2007-05-23 14:28:32 as ****
  • Semantics of Programming Languages: Structures and Techniques
    (1992)
    by Carl A Gunter
    posted to theory semantics programming-languages domain-theory category-theory books by mfrydr to the group complogic on 2007-05-09 17:48:27 as ****
  • A Mathematical Theory of Communication
    - (1948)
    by CE Shannon
    posted to information-theory classic by mfrydr to the group complogic on 2007-05-08 16:51:02 as ****
  • Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
    (24 May 1999)
    by Neil Leslie
    posted to type-theory tutorial by mfrydr to the group complogic on 2007-06-20 19:10:37 as ***
  • A Logic of Subtyping
    (1995)
    by Longo, Milsted, Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:54 as ***
  • Coherence and transitivity of subtyping as entailment
    Journal of Logic and Computation, Vol. 10, No. 4. (2000), pp. 493-526.
    by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:38 as ***
  • Pure Type Systems with Subtyping
    (1999), pp. 381-396.
    by Jan Zwanenburg
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:32:10 as ***
  • Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics
    (1997), pp. 138-152.
    by Serenella Cerrito, Marta C Mayer
    posted to multiplicities matrix contraction connection by sheila1 to the group complogic on 2007-05-29 11:33:34 as *** along with 1 person bobsilk
  • Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto
    Logic Journal of the IGPL, Vol. 8, No. 3. (2000), pp. 339-365.
    by Patrick Blackburn
    posted to logic hybrid by sheila1 to the group complogic on 2007-05-23 14:31:26 as ***
  • Distributed Proving in Access-Control Systems
    sp, Vol. 00 (2005), pp. 81-95.
    by Lujo Bauer, Scott Garriss, Michael K Reiter
    posted to authorization by mfrydr to the group complogic on 2007-05-15 21:42:36 as ***
  • A Type-Based Approach to Program Security
    (1997), pp. 607-621.
    by Dennis M Volpano, Geoffrey Smith
    posted to security by mfrydr to the group complogic on 2007-05-08 17:09:25 as ***
  • A Modal Logic for Role-Based Access Control
    Computer Network Security (2005), pp. 179-193.
    by Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
    posted to access-control modal-logic by mfrydr to the group complogic on 2007-12-06 00:21:17 as ** along with 3 people and 1 group weqa charoy security01 ecoo-pe
  • A Fragment of Intuitionistic Dynamic Logic
    Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
    by Sergio A Celani
    posted to dynamic_logic intuitionism modal-logic by mfrydr to the group complogic on 2007-11-16 15:52:12 as **
  • Dynamic Logic
    (1984), pp. 497-604.
    by D Harel
    edited by D Gabbay, F Guenther
    posted to dynamic_logic by mfrydr to the group complogic on 2007-11-16 15:48:50 as **
  • A Natural Deduction Approach to Dynamic Logic
    Lecture Notes in Computer Science, Vol. 1158 (1996), pp. 165-??.
    by F Honsell, M Miculan
    posted to dynamic_logic by mfrydr to the group complogic on 2007-11-16 15:48:13 as **
  • Brouwerian Counterexamples
    Mathematics Magazine, Vol. 62, No. 1. (1989), pp. 3-27.
    by Mark Mandelkern
    posted to no-tag by dwehr to the group complogic on 2007-09-08 00:38:08 as **
  • Access control for the web via proof-carrying authorization
    (2003)
    by Ljudevit Bauer
    posted to logic authorization application by mfrydr to the group complogic on 2007-08-10 00:44:11 as **
  • Logical Frameworks - A Brief Introduction
    (2002)
    by Frank Pfenning
    posted to type-theory logical-frameworks by mfrydr to the group complogic on 2007-06-12 18:57:14 as **
  • Higher-order unification and matching
    (2001), pp. 1009-1062.
    by Gilles Dowek
    posted to no-tag by dwehr to the group complogic on 2007-06-06 20:58:06 as **
  • Subtyping and parametricity
    Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (1994), pp. 310-319.
    by G Plotkin, M Abadi, L Cardelli
    posted to subtyping parametric-polymorphism by dwehr to the group complogic on 2007-06-06 03:14:57 as **
  • Type inference in the presence of overloading, subtyping and recursive types
    (1992), pp. 193-204.
    by Stefan Kaes
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 03:08:18 as **
  • Principal type schemes for functional programs with overloading and subtyping
    (1994), pp. 197-226.
    by Geoffrey S Smith
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 03:03:11 as **
  • A calculus for overloaded functions with subtyping
    (1992), pp. 182-192.
    by Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 02:58:20 as **
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:03:36 as ** along with 27 people and 3 groups draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD Lambda the Ultimate
  • Matrix-based Constructive Theorem Proving
    (2000), pp. 189-205.
    by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    posted to theorem proving matrix logic intuitionistic connection by sheila1 to the group complogic on 2007-05-29 01:27:03 as ** along with 1 person bobsilk
  • Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
    Logic Jnl IGPL, Vol. 5, No. 1. (1 January 1997), pp. 145-167.
    by P Miglioli, U Moscato, M Ornaghi
    posted to tableaux logic intuitionistic duplication by sheila1 to the group complogic on 2007-05-27 19:59:53 as **
  • On the Correspondence between Proofs and λ-Terms
    by Jean Gallier
    posted to curry-howard by mfrydr to the group complogic on 2007-05-09 18:30:10 as ** along with 1 person ds
  • Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi
    Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
    by Jean H Gallier
    posted to tutorial intuitionism by mfrydr to the group complogic on 2007-05-09 18:28:21 as ** along with 4 people and 1 group rgrig scavadini Scis0000002 ds SRG_at_UCD
  • Delegation Logic: A Logic-based Approach to Distributed Authorization
    (2000)
    by N Li
    posted to trust-management authorization by mfrydr to the group complogic on 2007-05-09 18:24:13 as **
  • Foundational Calculi for Programming Languages
    (1997)
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to theory programming-languages by mfrydr to the group complogic on 2007-05-09 18:22:23 as ** along with 9 people and 3 groups snowman rgrig rwtodd jrw cedricboidin pintman sjgaller mrkoot ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract
  • Extensional equivalence and singleton types
    ACM Trans. Comput. Logic, Vol. 7, No. 4. (October 2006), pp. 676-722.
    by Christopher A Stone, Robert Harper
    posted to adequacy by dwehr to the group complogic on 2007-05-08 19:07:12 as **
  • Computational Lambda-Calculus and Monads
    (1989), pp. 14-23.
    by Eugenio Moggi
    posted to programming-languages monads category-theory by mfrydr to the group complogic on 2007-05-08 17:10:04 as ** along with 7 people jrw cedricboidin tautologico pile glaubersp ds mmarcus
  • A Linear Logic of Authorization and Knowledge
    by Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter
    posted to linear-logic authorization by mfrydr to the group complogic on 2007-05-08 17:08:44 as ** along with 1 person mstone
  • Proof-Carrying Authentication
    - (1999)
    by Andrew W Appel, Edward W Felten
    posted to theorem-proving authentication application by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • A Logic for Reasoning About Security
    - (1992)
    by Janice Glasgow, Glenn Macewen, Prakash Panangaden
    posted to logic authorization by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • A Tutorial on Co-algebras and Co-induction
    - (1997)
    by Bart Jacobs, Jan Rutten
    posted to tutorial theory co-induction by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • Interaction, Computability and Church's Thesis
    - (1999)
    by Peter Wegner
    posted to theory computability by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • Notions of Computation and Monads
    - (1989)
    by Eugenio Moggi
    posted to programming-languages monads category-theory by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • Translating Dependency into Parametricity
    (2004)
    by stephen Tse, steve Zdancewic
    posted to programming-languages information-flow by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • A judgemental analysis of linear logic
    - (2003)
    by Bor, Kaustuv Chaudhuri, Frank Pfenning
    posted to linear-logic intuitionism by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
  • Binder, a Logic-Based Security Language
    (2002)
    by John Detreville
    posted to programming-languages authorization by mfrydr to the group complogic on 2007-05-09 18:20:51 as *
  • A Framework for Defining Logics
    (1993)
    by Robert Harper, Furio Honsell, Gordon Plotkin
    posted to logical-frameworks by mfrydr to the group complogic on 2007-05-08 16:51:02 as *
  • Making Proofs Without Modus Ponens
    American Mathematical Society (1997)
    by A Carbone, S Semmes
    posted to theorem-proving proof-theory controversy by mfrydr to the group complogic on 2007-05-08 16:51:02 as *
  • Authentication in Distributed Systems: Theory and Practice
    - (1992)
    by Butler Lampson, Martin Abadi, Michael Burrows
    posted to authentication by mfrydr to the group complogic on 2007-05-08 16:51:02 as *
  • A Logic of Authentication
    - (1989)
    by Michael Burrows, Martin Abadi, Roger Needham
    posted to authentication by mfrydr to the group complogic on 2007-05-08 16:51:02 as *
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/2532/order/to_read

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.