Preface

DOI10.1017/S0960129598009682zbMATH Open0930.00009OpenAlexW4214620411MaRDI QIDQ4704758

Author name not available (Why is that?)

Publication date: 26 January 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129598009682

zbMATH Keywords

DedicationSpecial issueLogicLambda-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Recommendations

• Lambda calculus and intuitionistic linear logic 👍 👎
• Special issue on proof theory and natural language 👍 👎
• Logical relations and the typed λ-calculus 👍 👎
• Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday 👍 👎
• Foreword: special issue on coalgebraic logic 👍 👎
• Focused linear logic and the \(\lambda\)-calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Preface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4704758)