The true concurrency of Herbrand's theorem

Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel

Computer And Information Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

5 Citations (Scopus)

19 Downloads (Pure)

1 results
- Last Name(descending)

Glynn Winskel
- glynn.winskelstrath.acuk
- Computer And Information Sciences - Professor
- Mathematically Structured Programming
Person: Academic