Table of Contents: '; “...Foreword / Gul Agha -- Preface -- Acknowledgments -- Introduction -- Lambda calculus -- Theoretical...”