Bracket Abstraction Preserves Typability - A formal proof of Diller-algorithm-C in PVS

There is no fulltext present in this item.

Title:	Bracket Abstraction Preserves Typability - A formal proof of Diller-algorithm-C in PVS
Author(s):	Smetsers, Sjaak ; Weelden, Arjen van
Publication year:	2006
In:	Levy, J. (ed.), Proceedings 20th International Workshop on Unification (UNIF'06), pp. 29-43
Publisher:	Seattle, Washington : [S.n.]
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/36022
Display more details
Editor(s):	Levy, J.
Subject:	Security of Systems Software Technology
Organization:	Security of Systems Software Technology
Book title:	Levy, J. (ed.), Proceedings 20th International Workshop on Unification (UNIF'06)
Page start:	p. 29
Page end:	p. 43