| 2009 | ||
|---|---|---|
| 2 | Vladimir Komendantsky: Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus. Electr. Notes Theor. Comput. Sci. 225: 161-179 (2009) | |
| 2008 | ||
| 1 | Yves Bertot, Vladimir Komendantsky: Fixed point semantics and partial recursion in Coq. PPDP 2008: 89-96 | |
| 1 | Yves Bertot | [1] |