Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ahn, Ki Yung
857  Ergebnisse:
Personensuche X
?
1

A Characterisation of Open Bisimilarity using an Intuitioni..:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
2

Quasi-Open Bisimilarity with Mismatch is Intuitionistic:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
Horne, Ross ; Ahn, Ki Yung ; Lin, Shang-wei. - p. 26-35 , 2018
Link: https://dl.acm.org/doi/1..
 
?
3

Equational reasoning about programs with general recursion ..:

, In: Proceedings of the sixth workshop on Programming languages meets program verification,
Kimmell, Garrin ; Stump, Aaron ; Eades III, Harley D.... - p. 15-26 , 2012
Link: https://dl.acm.org/doi/1..
 
?
4

A hierarchy of mendler style recursion combinators : tam..:

, In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming,
Ahn, Ki Yung ; Sheard, Tim - p. 234-246 , 2011
Link: https://dl.acm.org/doi/1..
 
?
5

A framework for testing first-order logic axioms in program..:

Ahn, Ki Yung ; Denney, Ewen
Software Quality Journal.  21 (2011)  1 - p. 159-200 , 2011
Link: https://doi.org/10.1007/..
 
?
6

A hierarchy of mendler style recursion combinators: taming ..:

Ahn, Ki Yung ; Sheard, Tim
ACM SIGPLAN Notices.  46 (2011)  9 - p. 234-246 , 2011
Link: https://doi.org/10.1145/..
 
?
7

Shared subtypes: subtyping recursive parametrized algebraic..:

Ahn, Ki Yung ; Sheard, Tim
ACM SIGPLAN Notices.  44 (2008)  2 - p. 75-86 , 2008
Link: https://doi.org/10.1145/..
 
?
8

Shared subtypes : subtyping recursive parametrized algeb..:

, In: Proceedings of the first ACM SIGPLAN symposium on Haskell,
Ahn, Ki Yung ; Sheard, Tim - p. 75-86 , 2008
Link: https://dl.acm.org/doi/1..
 
?
9

A Characterisation of Open Bisimilarity using an Intuitioni..:

Ahn, Ki Yung ; Horne, Ross James ; Tiu, Alwen
https://lmcs.episciences.org/7685/pdf.  , 2021
Link: http://orbilu.uni.lu/han..
 
?
10

A characterisation of open bisimilarity using an intuitioni..:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
https://strathprints.strath.ac.uk/86851/1/Ahn_etal_LMCS_2021_A_characterisation_of_open_bisimilarity_using_an_intuitionistic_modal_logic.pdf.  , 2021
Link: https://strathprints.str..
 
?
11

Quasi-Open Bisimilarity with Mismatch is Intuitionistic:

Horne, Ross James ; Ahn, Ki Yung ; Lin, Shang-wei.
LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom (July 9-12, 2018).  , 2018
Link: http://orbilu.uni.lu/han..
 
?
12

An Executable Specification of Typing Rules for Extensible ..:

Ahn, Ki Yung
http://arxiv.org/abs/1707.07872.  , 2017
Link: http://arxiv.org/abs/170..
 
?
13

Generating Witness of Non-Bisimilarity for the pi-Calculus:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
http://arxiv.org/abs/1705.10908.  , 2017
Link: http://arxiv.org/abs/170..
 
?
14

A Characterisation of Open Bisimilarity using an Intuitioni..:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
http://arxiv.org/abs/1701.05324.  , 2017
Link: http://arxiv.org/abs/170..
 
?
15

A characterisation of open bisimilarity using an intuitioni..:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
https://strathprints.strath.ac.uk/87704/1/Ahn-etal-CONCUR-2017-A-characterisation-of-open-bisimilarity-using-an-intuitionistic-modal-logic.pdf.  , 2017
Link: https://strathprints.str..
 
1-15