Yuta Takahashi

Available identifiers

Publication	Date of Publication	Type
Harmony in the light of computational ludics	2025-01-06	Paper
Quotients in super-symmetry: formal supergroup case	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	2023-05-12	Paper
A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems	2022-12-22	Paper
Fano $4$-folds with nef tangent bundle in positive characteristic	2022-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5018496	2021-12-20	Paper
Geometric construction of quotients $G/H$ in supersymmetry	2021-07-14	Paper
Streaming ranked-tree-to-string transducers	2021-06-03	Paper
Torsors in super-symmetry	2021-01-09	Paper
Hopf-algebraic techniques applied to super Lie groups over a complete field	2020-09-01	Paper
Streaming ranked-tree-to-string transducers	2020-05-06	Paper
Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms	2019-06-28	Paper
Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process	2014-10-20	Paper
Noncolliding Brownian motion with drift and time-dependent Stieltjes-Wigert determinantal point process	2014-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3392643	2009-08-17	Paper
"Interpretation of Inaccessible Sets in Martin-L\""{o}f Type Theory with One Mahlo Universe"	N/A	Paper
Quotients in super-symmetry: formal supergroup case	N/A	Paper

This page was built for person: Yuta Takahashi