Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

>> Google Books

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin

版:

1st ed. 1995

資料種別:

電子ブック

形態:

VIII, 452 p.

シリーズ名:

Lecture Notes in Computer Science ; 902

著者名:

ISBN:

9783540491781 [3540491783]
9783662202517 [3662202514]
9783540590484 [354059048X]

書誌ID:

EB00003651

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

主題:

Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Programming Techniques; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, … Groote, Philippe de., Hindley, J. Roger., SpringerLink (Online service)	7 電子ブック Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings Urzyczyn, Pawel., SpringerLink (Online service)
2 電子ブック Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings Girard, Jean-Yves., SpringerLink (Online service)	8 電子ブック Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers Dowek, Gilles., Heering, Jan., Meinke, Karl., Möller, Bernhard., SpringerLink (Online service)
3 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The … Bezem, Marc., Groote, Jan F., SpringerLink (Online service)	9 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings Marek, V. Wiktor., Nerode, Anil., Truszcynski, Miroslaw., SpringerLink (Online service)
4 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April … (: gw) International Conference on Typed Lambda Calculi and Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. … Springer-Verlag	10 電子ブック Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings Ausiello, Giorgio., Dezani-Ciancaglini, Mariangiola., Ronchi Della Rocca, Simonetta., SpringerLink (Online service)
5 電子ブック Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings Abramsky, Samson., SpringerLink (Online service)	11 電子ブック Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings Jouannaud, Jean-Pierre., SpringerLink (Online service)
6 電子ブック Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings Hofmann, Martin., SpringerLink (Online service)	12 電子ブック Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12