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

Y Huang

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.

#small language model Open access Oct 2026

Fully Dependent Abstract Machines: Agda Implementation

This repository contains an Agda implementation of the dependent SECD machine and the Dependent Abstract Machine (DAM), with a formalization of their type safety and dependent SECD machine's termination. Getting started (Kick the tires) To start, install Agda version 2.8.0 (instructions). Download and unzip the artifac...

Y Huang, Jeremy Yallop · 0 citations

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