Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings. 1st ed. 1989
- 種類:
- 電子ブック
- 責任表示:
- edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
- 著者名:
Pitt, David H. Rydeheard, David E. Dybjer, Peter. Pitts, Andrew. Poigne, Axel. SpringerLink (Online service) - シリーズ名:
- Lecture Notes in Computer Science ; 389
- ISBN:
- 9783540467403 [3540467408]
- 注記:
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective -- An algebraic view of interleaving and distributed operational semantics for CCS -- Temporal structures -- Compositional relational semantics for indeterminate dataflow networks -- Operations on records -- Projections for polymorphic strictness analysis -- A category-theoretic account of program modules -- A note on categorical datatypes -- A set constructor for inductive sets in Martin-Löf's type theory -- Independence results for calculi of dependent types -- Quantitative domains, groupoids and linear logic -- Graded multicategories of polynomial-time realizers -- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa -- Dictoses -- Declarative continuations: An investigation of duality in programming language semantics -- Logic representation in LF -- Unification properties of commutative theories: A cat
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |