Concepedia

Ki Yung Ahn

KY

5

Publications

80

Citations

5

H-Index

2011

Active since

Affiliations

Portland State University(Current)

University of Iowa

Ki Yung Ahn is an author at Portland State University specializing in formal methods, computer science, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProof ComplexityFormal VerificationLinguisticsVerificationProgram AnalysisDiscrete Mathematics

Publications per year

2011–2018

5

Publications

5

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin Kimmell, Aaron Stump, Harley Eades et al. · 2012 · 25 citations

Engineering, Type Theory, Verification +20

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 17 citations · Full text

Programming Language Theory, Syntax, Engineering +15

Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Ross Horne, Ki Yung Ahn, Shang‐Wei Lin et al. · 2018 · 14 citations · Full text

Intuitionistic Logic, Quasi-open Bisimilarity, Engineering +17

A hierarchy of mendler style recursion combinators

Ki Yung Ahn, Tim Sheard · ACM SIGPLAN Notices · 2011 · 12 citations

Combinatorics On Word, Engineering, Automated Reasoning +14

A hierarchy of mendler style recursion combinators

Ki Yung Ahn, Tim Sheard · 2011 · 12 citations

Combinatorics On Word, Engineering, Data Science +15

Rows per page

1–5 of 5