Title: Logics of programs
Subjects: Congresses, Symbolic and mathematical Logic, Computer programs, Logique programme, Lambda calcul, Vérification programme, Spécification programme, Programmation en logique, Théorie type, Logique mathématique