Logique combinatoire et lambda calcul: des logiques d?opérateurs

by: Jean-Pierre Desclés · Gaëll Guibert · Benoit Sauzay

Paperback

details (United States).

ISBN: 978-2-36493-530-3

ISBN-10: 2-36493-530-X

Editions Cépaduès · 2016