Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Enumerating Well-Typed Terms Generically

201018 citationsBook Chapter

Authors

Alexey Rodriguez Yakushev · Vector Fabrics (Netherlands)

Johan Jeuring · Open University of the Netherlands

Topics & Keywords

Logic, programming, and type systems Logic, Reasoning, and Knowledge Semantic Web and Ontologies

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-11931-6_5

Field-Weighted Citation Impact: 1.98

Enumerating Well-Typed Terms Generically | Researchclopedia