University of Sussex
Browse
main.pdf (258.21 kB)

A geometry of interaction machine for Gödel's System T

Download (258.21 kB)
conference contribution
posted on 2023-06-09, 07:15 authored by Ian MackieIan Mackie
Gödel’s System T is the simply typed lambda calculus extended with numbers and an iterator. The higher-order nature of the language gives it enormous expressive power—the language can represent all the primitive recursive functions and beyond, for instance Ackermann’s function. In this paper we use System T as a minimalistic functional language. We give an interpretation using a data-flow model that incorporates ideas from the geometry of interaction and game semantics. The contribution is a reversible model of higher-order computation which can also serve as a novel compilation technique.

History

Publication status

  • Published

File Version

  • Accepted version

Journal

Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017

ISSN

9783662553855

Publisher

Springer Verlag

Volume

10388

Page range

229-241

ISBN

0302-9743

Series

Lecture notes in computer science

Department affiliated with

  • Informatics Publications

Research groups affiliated with

  • Foundations of Software Systems Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Editors

Juliette Kennedy, Ruy J G B de Queiroz

Legacy Posted Date

2017-07-17

First Open Access (FOA) Date

2017-07-17

First Compliant Deposit (FCD) Date

2017-07-17

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC