The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

Ahn, Ki Yung

Back to results

Portland State University

The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

dc:creator Ahn, Ki Yung

thesis:degree_name Doctor of Philosophy (Ph.D.) in Computer Science

Degree

thesis:*

Name thesis:degree_name: Doctor of Philosophy (Ph.D.) in Computer Science
Level thesis:degree_level: Dissertation

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Ahn, Ki Yung
Contributors dc:contributor: Tim Sheard

Subjects

dc:subject × 5

Identifiers

dc:identifier.*

Repository record dc:identifier: https://pdxscholar.library.pdx.edu/open_access_etds/2088
OAI identifier oai:identifier: oai:pdxscholar.library.pdx.edu:open_access_etds-3088

Chain of custody

source

Harvested from: Portland State University
Base URL: pdxscholar.library.pdx.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Ahn, Ki Yung. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. Dissertation thesis, https://pdxscholar.library.pdx.edu/open_access_etds/2088

The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from Portland State University