Skip to content

Home Search Guides Journals Learning Our Team Get the App

🌐 EN ES FR PT

FRELIP Discovery Search

Open Access Catalog for African Scholarship

Terminal Coalgebras and Non-we...
Text This

Text this: Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

Number:

Provider:

About FRELIP

Free eLibrary Portal (FRELIP) provides access to academic resources, research materials, and scholarly publications from African universities and global repositories.

Quick Links

FRELIP Home
About FRELIP
Our Team
Research Guides
Search Catalog
Learning Platform
Course Catalogue

Resources

Indexed Records: 140,000+
Disciplines: 18
Subjects: 155

FRELIP is the leading open-access discovery platform — born in Nigeria, built for African scholarship, serving the world.

© 2026 FRELIP - Free eLibrary Portal | frelip.org | Powered by VuFind

Follow FRELIP