Podchaser Logo
Home
Iowa Type Theory CommuteEpisode from the podcastIowa Type Theory Commute
Next Episode
DCS compared to termination checkers for type theories

DCS compared to termination checkers for type theories

Released Tuesday, 19th September 2023
Good episode? Give it some love!
DCS compared to termination checkers for type theories

DCS compared to termination checkers for type theories

DCS compared to termination checkers for type theories

DCS compared to termination checkers for type theories

Tuesday, 19th September 2023
Good episode? Give it some love!
Rate Episode
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

In this episode, I continue introducing DCS by comparing it to termination checkers in constructive type theories like Coq, Agda, and Lean.  I warmly invite ITTC listeners to experiment with the tool themselves.  The repo is here. 

Show More
Rate
Get this podcast via API

From The Podcast

Iowa Type Theory Commute

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more

Episode Tags

Do you host or manage this podcast?
Claim and edit this page to your liking.
,

Unlock more with Podchaser Pro

  • Audience Insights
  • Contact Information
  • Demographics
  • Charts
  • Sponsor History
  • and More!
Pro Features
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More