## Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

*Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development*

TAPSOFT, Vol.1: AS, 1987.

@proceedings{AS-v1-1987,
doi = "10.1007/3-540-17660-8",
editor = "Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari",
isbn = "3-540-17660-8",
publisher = "{Springer}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development}",
volume = 249,
year = 1987,
}

### Contents (4 items)

- AS-1987-AstesianoR #calculus #concurrent
- SMoLCS-Driven Concurrent Calculi (EA, GR), pp. 169–201.
- AS-1987-Milner #proving
- Dialogue with a Proof System (RM), pp. 271–275.
- AS-1987-Huet #calculus #induction
- Induction Principles Formalized in the Calculus of Constructions (GPH), pp. 276–286.
- AS-1987-Thatcher #algebra #semantics
- Algebraic Semantics (JWT), p. 287.