新規登録 | ログイン | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: AS-IIS_ReadingGroup - library [31 articles]

グループ AS-IIS_ReadingGroup のメンバーが最近追加した論文の一覧
  • Explicit Substitutions
    (1990), pp. 31-46.
    by Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean J Lèvy
    posted to names lambda_calculus category_theory alpha_conversion by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-16 07:14:45 as ***
  • Categories for the Working Mathematician
    (1971)
    by Saunders Mac~lane
    posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:58:21 as *
  • Basic Category Theory for Computer Scientists
    (1991)
    by Benjamin C Pierce
    posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:55:59 as read
  • Review of the elements of 2-categories
    Vol. 420 (1974), pp. 75-103.
    by GM Kelly, Ross Street
    posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-09 03:50:36 as ***
  • The Calculus of Constructions
    Information and Computation, Vol. 76, No. 2--3. (1988)
    by Thierry Coquand, Gerard Huet
    posted to calculus_of_constructions type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 04:11:13 as *
  • CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, sigma- and pi-calculi
    Electronic Notes in Theoretical Computer Science, Vol. 36 (2000)
    by Mark-Oliver Stehr
    posted to lambda_calculus dependent_types alpha_conversion by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 03:56:49 as **
  • Categorical Type Theory
    (18 September 1991)
    by Bart Jacobs
    posted to category_theory dependent_types lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 03:52:12 as *
  • Semantics of Type Theory: Correctness and Completeness
    (01 December 1991)
    by Thomas Streicher
    posted to calculus_of_constructions category_theory dependent_types lambda_calculus by xiemaisi to the group AS-IIS_ReadingGroup on 2007-01-03 03:47:21 as read
  • Logical definability and query languages over unranked trees
    Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on (2003), pp. 178-187.
    by L Libkin, F Neven
    posted to logic query xml by bowyaw to the group AS-IIS_ReadingGroup on 2006-12-29 04:11:30 as read
  • Functorial Semantics of Rewrite Theories
    Lecture Notes in Computer Science : Formal Methods in Software and Systems Modeling (2005), pp. 220-235.
    by José Meseguer
    posted to algebraic_theories category_theory rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 07:41:31 as ***
  • Conditional rewriting logic as a unified model of concurrency
    Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155.
    by Jos&\#233; Meseguer
    posted to algebraic_theories category_theory maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 07:39:05 as *** along with 1 person kavabean
  • Generalised algebraic theories and contextual categories
    Annals of Pure and Applied Logic, Vol. 32 (1986), pp. 209-243.
    by John Cartmell
    posted to algebraic_theories category_theory dependent_types by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-12 06:33:45 as read along with 1 person rhgg2
  • Sets in Types, Types in Sets
    by Benjamin Werner
    posted to calculus_of_constructions curry-howard dependent_types iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-12-01 03:42:28 as read along with 2 people and 1 group maggesi pedagand Lambda the Ultimate
  • Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)
    by Jean P Jouannaud
    posted to calculus_of_constructions curry-howard dependent_types interactive_theorem_proving pure_type_systems rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-11-06 05:48:56 as read
  • Proofs and Types
    (1990)
    by Jean-Yves Girard, Paulr Taylor, Yves Lafont
    posted to curry-howard iis system_f by trc to the group AS-IIS_ReadingGroup on 2006-10-25 09:12:12 as **** along with 2 people daqing oryp6518
  • System F with Type Equality Coercions
    by Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones
    posted to associated-types gadt iis intermediate-language type-classes type-equality by scm to the group AS-IIS_ReadingGroup on 2006-10-20 09:42:36 as ** along with 1 person zednenem
  • Advanced Topics in Types and Programming Languages
    (December 2004)
    by Benjamin C Pierce
    posted to calculus_of_constructions curry-howard dependent_types iis interactive_theorem_proving lambda_calculus pure_type_systems type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-10-05 05:20:57 as **
  • Types and Programming Languages
    (February 2002)
    by Benjamin C Pierce
    posted to curry-howard iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-10-05 05:18:37 as **
  • Untersuchungen über das logische Schließen II
    Mathematische Zeitschrift, Vol. 39 (1935)
    by Gerhard Gentzen
    posted to cut_elimination natural_deduction proof_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-26 03:18:51 as **
  • The Inconsistency of Certain Formal Logics
    by SC Kleene, JB Rosser
    posted to iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-26 03:04:49 as *
  • A Set of Postulates for the Foundation of Logic
    by Alonzo Church
    posted to iis lambda_calculus type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-25 09:33:31 as *
  • Lectures on the Curry-Howard isomorphism
    (1998)
    by M Sorensen, P Urzyczyn
    posted to curry-howard dependent_types iis lambda_calculus natural_deduction type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-25 09:27:43 as ** along with 3 people jonathlela ds fensef
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to dependent_types iis lambda_calculus pure_type_systems type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-09-25 09:26:30 as read along with 8 people pnkfelix tautologico Benja glaubersp ds mmarcus jimburton d23
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to category_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-28 04:31:34 as ** along with 16 people and 3 groups dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers TU-KL-SoftwareTechnologyGroup
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to calculus_of_constructions dependent_types type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-28 04:29:38 as read along with 3 people tautologico rysavy msakai
  • Untersuchungen über das logische Schließen I
    Mathematische Zeitschrift, No. 39. (1934)
    by Gerhard Gentzen
    posted to cut_elimination natural_deduction proof_theory sequent_calculus by xiemaisi to the group AS-IIS_ReadingGroup on 2006-08-27 15:58:41 as **
  • Closure Under Alpha-Conversion
    (1993), pp. 313-332.
    by Robert Pollack
    edited by Henk Barendregt, Tobias Nipkow
    posted to alpha_conversion lambda_calculus names by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-29 13:48:38 as ***
  • An Extended Calculus of Constructions
    (1990)
    by Zhaohui Luo
    posted to calculus_of_constructions type_theory by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 22:34:21 as ** along with 4 people msakai Benja glaubersp Scis0000002
  • Programming, Specification, and Interactive Theorem Proving
    (23 September 2002)
    by Mark-Oliver Stehr
    posted to interactive_theorem_proving maude occ open_calculus_of_constructions by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 16:08:02 as **
  • Rewriting logic as a logical and semantic framework
    (1993)
    by Martí N Oliet, J Meseguer
    posted to maude rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:27:41 as *** along with 1 person Scis0000002
  • Pure type systems in rewriting logic
    (1999)
    by M Stehr, J Meseguer
    posted to maude pure_type_systems rewriting_logic by xiemaisi to the group AS-IIS_ReadingGroup on 2006-07-26 15:25:49 as ***
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/1606

    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.