Theoretical aspects of computer software. 3rd international symposium, TACS '97. Sendai, Japan, September 23--26, 1997. Proceedings (Q1366802)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Milner, Robin}, Strong normalisation in higher-order action calculi, 1-19 [Zbl 0885.03035] \textit{Garrigue, Jacques; Rémy, Didier}, Extending ML with semi-explicit higher-order polymorphism, 20-46 [Zbl 0885.03032] \textit{Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens}, Optimal representations of polymorphic types with subtyping. (Extended abstract), 47-76 [Zbl 0888.03015] \textit{Ariola, Zena M.; Blom, Stefan}, Cyclic lambda calculi, 77-106 [Zbl 0884.03008] \textit{Ohori, Atsushi}, Type system for specializing polymorphism, 107-137 [Zbl 0884.03029] \textit{Coppo, Mario; Damiani, Ferruccio; Giannini, Paola}, On strictness and totality, 138-164 [Zbl 0884.03028] \textit{Lawall, Julia L.; Thiemann, Peter}, Sound specialization in the presence of computational effects, 165-190 [Zbl 0884.03011] \textit{Kinoshita, Yoshiki; O'Hearn, Peter W.; Power, A. John; Takeyama, Makoto; Tennent, Robert D.}, An axiomatic approach to binary logical relations with applications to data refinement, 191-212 [Zbl 0882.18006] \textit{Bonsangue, Marcello M.; Kok, Joost N.}, Infinitary domain logic for finitary transition systems, 213-232 [Zbl 0885.03030] \textit{Lévy, Jean-Jacques}, Some results in the join-calculus, 233-249 [Zbl 0885.03033] \textit{Rathke, J.; Hennessy, M.}, Local model checking for value-passing processes. (Extended abstract), 250-266 [Zbl 0885.03021] \textit{Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal}, A type-theoretic approach to deadlock-freedom of asynchronous systems, 295-320 [Zbl 0882.18002] \textit{Barbanera, Franco; Berardi, Stefano; Schivalocchi, Massimo}, ``Classical'' programming-with-proofs in \(\lambda_{\text{PA}}^{\text{Sym}}\): An analysis of non-confluence, 365-390 [Zbl 0885.03029] \textit{Power, John; Thielecke, Hayo}, Environments, continuation semantics and indexed categories, 391-414 [Zbl 0882.18007] \textit{Poll, Erik}, System \(F\) with width-subtyping and record updating, 439-457 [Zbl 0884.03013] \textit{Birkedal, Lars; Harper, Robert}, Relational interpretations of recursive types in an operational setting, 458-490 [Zbl 0888.03016] \textit{Matthews, Seán}, Extending a logical framework with a modal connective for validity, 491-514 [Zbl 1043.03515] \textit{Werner, Benjamin}, Sets in types, types in sets, 530-546 [Zbl 0885.03017] \textit{Mayr, Richard}, Combining Petri nets and PA-processes, 547-561 [Zbl 0886.68102] \textit{Gardner, Philippa; Hasegawa, Masahito}, Types and models for higher-order action calculi, 583-603 [Zbl 0885.03036]