Claudin-1 and-2: novel integral membrane proteins localizing at tight junctions with no sequence similarity to occludin M Furuse, K Fujita, T Hiiragi, K Fujimoto, S Tsukita The Journal of cell biology 141 (7), 1539-1550, 1998 | 2650 | 1998 |
Tsukita Sh. Claudin-1 and-2: novel integral membrane proteins localizing at tight junctions with no sequence similarity to occludin M Furuse, K Fujita, T Hiiragi, K Fujimoto J Cell Biol 141 (7), 1539-50, 1998 | 51 | 1998 |
Parallel reduction in type free λμ-calculus K Baba, S Hirokawa, K Fujita Electronic notes in theoretical computer science 42, 52-66, 2001 | 32 | 2001 |
Parallel reduction in type free λμ-calculus K Baba, S Hirokawa, K Fujita Electronic notes in theoretical computer science 42, 52-66, 2001 | 32 | 2001 |
Galois embedding from polymorphic types into existential types K Fujita International Conference on Typed Lambda Calculi and Applications, 194-208, 2005 | 28 | 2005 |
A sound and complete CPS-translation for lambda mu-calculus: Extended abstract (Algebra, Languages and Computation) K Fujita 京都大学数理解析研究所 1437, 163--173, 2005 | 19* | 2005 |
A sound and complete CPS-translation for lambda-mu-calculus K Fujita 数理解析研究所講究録 1437, 163-173, 2005 | 19 | 2005 |
A sound and complete CPS-translation for λμ-calculus K Fujita International Conference on Typed Lambda Calculi and Applications, 120-134, 2003 | 19 | 2003 |
Explicitly Typed λμ-Calculus for Polymorphism and Call-by-Value K Fujita International Conference on Typed Lambda Calculi and Applications, 162-177, 1999 | 19 | 1999 |
Explicitly Typed λμ-Calculus for Polymorphism and Call-by-Value K Fujita International Conference on Typed Lambda Calculi and Applications, 162-177, 1999 | 19 | 1999 |
Domain-free λµ-calculus KE Fujita RAIRO-Theoretical Informatics and Applications 34 (6), 433-466, 2000 | 18 | 2000 |
Partially typed terms between Church-style and Curry-style KE Fujita, A Schubert Theoretical Computer Science: Exploring New Frontiers of Theoretical …, 2000 | 17 | 2000 |
Existential type systems with no types in terms K Fujita, A Schubert Typed Lambda Calculi and Applications: 9th International Conference, TLCA …, 2009 | 15 | 2009 |
Compositional Z: Confluence Proofs for Permutative Conversion K Nakazawa, K Fujita Studia Logica 104, 1205-1224, 2016 | 14 | 2016 |
Calculus of classical proofs I K Fujita Advances in Computing Science—ASIAN'97: Third Asian Computing Science …, 1997 | 14 | 1997 |
On the adequacy of representing higher order intuitionistic logic as a pure type system H Tonino, K Fujita Annals of Pure and Applied Logic 57 (3), 251-276, 1992 | 13 | 1992 |
CPS-translation as adjoint K Fujita Theoretical computer science 411 (2), 324-340, 2010 | 12 | 2010 |
Inhabitance of Existential Types is Decidable in Negation-Product Fragment M Tatsuta, K Fujita, R Hasegawa, H Nakano Proceedings of 2nd International Workshop on Classical Logic and Computation …, 2008 | 11 | 2008 |
The undecidability of type related problems in type-free style System F KE Fujita, A Schubert Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010 | 10 | 2010 |
Simple model of type free λμ-calculus K Fujita 18th Conference Proceedings Japan Society for Software Science and Technology, 2001 | 9 | 2001 |