View on GitHub

SINFIN
Logics and Dynamics of Programming Languages Team

French-Argentinean international laboratory SINFIN

SINFIN is a French-Argentinean Laboratory (Laboratoire Internationale Associé) devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts. The institutions involved are:

Logics and Dynamics of Programming Languages Team

Research interests of our group are semantics of programming languages and proof theory. We investigate themes in rewriting, lambda calculus, type systems, etc.

Members

In France

In Argentina

Associated members

Past members