The tower of informatics models

Yves Bertot, Grard Huet, Jean-Jacques Lvy, Gordon Plotkin, Robin Milner

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'The tower of informatics models'. Together they form a unique fingerprint.

Social Sciences