Yuta Takahashi

From MaRDI portal
Person:2000673

Available identifiers

zbMath Open takahashi.yutaMaRDI QIDQ2000673

List of research outcomes





PublicationDate of PublicationType
Harmony in the light of computational ludics2025-01-06Paper
Quotients in super-symmetry: formal supergroup case2024-09-10Paper
Size-based termination for non-positive types in simply typed lambda-calculus2024-08-01Paper
Edge states of mechanical diamond and its topological origin2023-05-12Paper
A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2022-12-22Paper
Fano $4$-folds with nef tangent bundle in positive characteristic2022-10-31Paper
https://portal.mardi4nfdi.de/entity/Q50184962021-12-20Paper
Geometric construction of quotients \(G/H\) in supersymmetry2021-07-14Paper
Streaming ranked-tree-to-string transducers2021-06-03Paper
Torsors in super-symmetry2021-01-09Paper
Hopf-algebraic techniques applied to super Lie groups over a complete field2020-09-01Paper
Streaming ranked-tree-to-string transducers2020-05-06Paper
Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms2019-06-28Paper
Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process2014-10-20Paper
Noncolliding Brownian motion with drift and time-dependent Stieltjes-Wigert determinantal point process2014-01-14Paper
https://portal.mardi4nfdi.de/entity/Q33926432009-08-17Paper
"Interpretation of Inaccessible Sets in Martin-L\""{o}f Type Theory with One Mahlo Universe"N/APaper
Quotients in super-symmetry: formal supergroup caseN/APaper

Research outcomes over time

This page was built for person: Yuta Takahashi