Vladimir Komendantsky

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Yves Bertot [1]