E-LIB Suche - Ergebnisse für: Hu, Jason Z

1

Self‐assembled smooth muscle cell tissue rings exhibit grea..:

Adebayo, Olufunmilayo ; Hookway, Tracy A. ; Hu, Jason Z...
Journal of Biomedical Materials Research Part A. 101A (2012) 2 - p. 428-437 , 2012

Link: https://doi.org/10.1002/..

2

Directed Cellular Self-Assembly to Fabricate Cell-Derived T..

JoVE : Bioengineering

Gwyther, Tracy A. ; Hu, Jason Z. ; Billiar, Kristen L.. , 2011

Link: https://www.jove.com/t/3..

3

Engineered Vascular Tissue Fabricated from Aggregated Smoot..:

Gwyther, Tracy A. ; Hu, Jason Z. ; Christakis, Alexander G....
Cells Tissues Organs. 194 (2011) 1 - p. 13-24 , 2011

Link: https://doi.org/10.1159/..

4

Layered Modal Type Theory: Where Meta-programming Meets Int..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Hu, Jason Z. S. ; Pientka, Brigitte - p. 52-82 , 2024

Link: https://doi.org/10.1007/..

5

Normalization by evaluation for modal dependent type theory:

HU, JASON Z. S. ; JANG, JUNYOUNG ; PIENTKA, BRIGITTE
Journal of Functional Programming. 33 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

6

A Categorical Normalization Proof for the Modal Lambda-Calc..:

Hu, Jason Z. S. ; Pientka, Brigitte
Electronic Notes in Theoretical Informatics and Computer Science. 1 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

7

A Category Theoretic View of Contextual Types: From Simple ..:

Hu, Jason Z. S. ; Pientka, Brigitte ; Schöpp, Ulrich
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-36 , 2022

Link: https://doi.org/10.1145/..

8

Formalizing category theory in Agda:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Hu, Jason Z. S. ; Carette, Jacques - p. 327-342 , 2021

Link: https://dl.acm.org/doi/1..

9

Undecidability of d and its decidable fragments:

Hu, Jason Z. S. ; Lhoták, Ondřej
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-30 , 2019

Link: https://dl.acm.org/doi/1..

10

Undecidability ofd<:and its decidable fragments:

Hu, Jason Z. S. ; Lhoták, Ondřej
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-30 , 2019

Link: https://doi.org/10.1145/..

11

Self-assembled smooth muscle cell tissue rings exhibit grea..:

Adebayo, Olufunmilayo ; Gwyther, Tracy A ; Hu, Jason Z..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3493716. , 2012

Link: http://www.ncbi.nlm.nih...

12

Engineered Vascular Tissue Fabricated from Aggregated Smoot..:

Gwyther, Tracy A ; Hu, Jason Z ; Christakis, Alexander G...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3128156. , 2011

Link: http://www.ncbi.nlm.nih...

13

Layered Modal Type Theories:

Hu, Jason Z. S ; Pientka, Brigitte
http://arxiv.org/abs/2305.06548. , 2023

Link: http://arxiv.org/abs/230..

14

A Category Theoretic View of Contextual Types: from Simple ..:

Hu, Jason Z. S ; Pientka, Brigitte ; Schöpp, Ulrich
http://arxiv.org/abs/2206.02831. , 2022

Link: http://arxiv.org/abs/220..

15

A Categorical Normalization Proof for the Modal Lambda-Calc..:

Hu, Jason Z. S ; Pientka, Brigitte
http://arxiv.org/abs/2211.12318. , 2022

Link: http://arxiv.org/abs/221..