Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by YASUYUKI TSUKADA
Martin-Löf's Type Theory as an Open-Ended Framework
International Journal of Foundations of Computer Science
Computer Science
Related publications
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Type Theory as a Framework for Modelling and Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Designing Open-Ended Experiments by Integrating Courses: An Experience
Journal of Engineering Education Transformations
Development
Engineering
Education
Coalescent: An Open-Science Framework for Importance Sampling in Coalescent Theory
PeerJ
Genetics
Molecular Biology
Biochemistry
Biological Sciences
Medicine
Agricultural
Neuroscience
Coalescent: An Open-Science Framework for Importance Sampling in Coalescent Theory
An Open Logical Framework
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Lorentz Force Accelerator With an Open-Ended Lithium Heat Pipe
Becoming an Open Educator: Towards an Open Threshold Framework
Research in Learning Technology
Computer Science Applications
Education
Permittivity of Waste-Activated Sludge by an Open-Ended Coaxial Line
Progress In Electromagnetics Research Letters
Optical
Electronic
Magnetic Materials
