Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Gordon D. Plotkin

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence May 2025

Unraveling the iterative CHAD

This work extends CHAD to programs with partial operations, data-dependent conditionals, and while-loops, preserving its defining principle of structure-preserving semantics and introduces iteration-extensive indexed categories, which integrate iteration into dependently typed programming languages.

Fernando Lucatelli Nunes, Gordon D. Plotkin, Matthijs Vákár · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.