Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book...
Kandulski J. -Y. Marion C. Brun F. Lamarche G. Perrier TableofContents InvitedTalks StructuralEqu...
InhaltsangabeA ?-to-CL translation for strong normalization.- Typed intermediate languages for sh...
This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...
This book constitutes the refereed proceedings of the 14th International Conference on Formal Gra...