nLab
IRIF

IRIF, which stands for the Research Institute on the Foundations of Computer Science, is a research laboratory of CNRS and Université de Paris, also hosting two Inria project-teams.

Created on July 12, 2020 at 01:45:05. See the history of this page for a list of all contributions to it.