Toot

Written by Tito on 2025-01-27 at 22:12

@julesh @joey In that book "polymorphic type theory" just means System F or Fω. Type dependency is treated in later chapters

=> More informations about this toot | View the thread | More toots from tito@sciences.re

Mentions

=> View julesh@mathstodon.xyz profile | View joey@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113902613038349571
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
222.375919 milliseconds
Gemini-to-HTML Time
0.299819 milliseconds

This content has been proxied by September (3851b).