Rewriting and Typed Lambda Calculi

MLA

Gilles Dowek. Rewriting and Typed Lambda Calculi. Springer International Publishing, 2014.

APA

Gilles Dowek, G. Dowek. (2014). Rewriting and Typed Lambda Calculi. Springer International Publishing.

Chicago

Gilles Dowek Rewriting and Typed Lambda Calculi. : Springer International Publishing, 2014.