Term declaration logic and generalised composita

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151627 ◽

2002 ◽

Author(s):

P. Aczel

Download Full-text