Hiroshi Ohtsuka

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 Hiroshi Ohtsuka: A Proof of the Substitution Lemma in de Bruijn's Notation. Inf. Process. Lett. 46(2): 63-66 (1993)