Vorobyov, Sergei Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Vorobyov, S. (1995). Fsub with Recursive Types: `Types-as-Propositions' Interpretations M. Rabin's S2S. In Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95) (pp. 49-73). Rocquencourt, France: INRIA.