Yuta Takahashi

MaRDI QIDQ2000673zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Harmony in the light of computational ludics	2025-01-06	Paper
Quotients in super-symmetry: formal supergroup case Communications in Algebra	2024-09-10	Paper
Size-based termination for non-positive types in simply typed lambda-calculus	2024-08-01	Paper
Edge states of mechanical diamond and its topological origin New Journal of Physics	2023-05-12	Paper
A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems 1517.68168	2022-12-22	Paper
Fano $4$-folds with nef tangent bundle in positive characteristic	2022-10-31	Paper
scientific article; zbMATH DE number 7450013 (Why is no real title available?)	2021-12-20	Paper
scientific article; zbMATH DE number 7450013 (Why is no real title available?) (available as arXiv preprint)	2021-12-20	Paper
Geometric construction of quotients \(G/H\) in supersymmetry Transformation Groups	2021-07-14	Paper
Streaming ranked-tree-to-string transducers Theoretical Computer Science	2021-06-03	Paper
Torsors in super-symmetry	2021-01-09	Paper
Hopf-algebraic techniques applied to super Lie groups over a complete field Journal of Algebra	2020-09-01	Paper
Streaming ranked-tree-to-string transducers Implementation and Application of Automata	2020-05-06	Paper
Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms Journal of Philosophical Logic	2019-06-28	Paper
Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process Journal of Mathematical Physics	2014-10-20	Paper
Noncolliding Brownian motion with drift and time-dependent Stieltjes-Wigert determinantal point process Journal of Mathematical Physics	2014-01-14	Paper
Detector imperfections in a recent scheme for Schrödinger-cat generation	2009-08-17	Paper
"Interpretation of Inaccessible Sets in Martin-L\""{o}f Type Theory with One Mahlo Universe" (available as arXiv preprint)	N/A	Paper
Quotients in super-symmetry: formal supergroup case (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Yuta Takahashi