◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Tetsuya Sato

13 papers hereh-index 11386 citations21 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author4
  • middle author4
  • last author3

Across the 13 of 13 papers where every author was matched, so the position is known.

fields
  • cs.LO7
  • cs.AI2
  • cs.PL2
  • cs.LG1
  • math.CT1
same name
  • Tetsuya Sato — 7 papers, h 19
  • Tetsuya Sato — 6 papers, h 44
  • Tetsuya Sato — 3 papers, h 2
  • Tetsuya Sato — 1 paper, h 2
  • Tetsuya Sato — 1 paper, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20162024
most citedFormal verification of higher-order probabilistic programs

28 citations · 123 across the 13 of their papers we have counts for

collaborators
Showing 2016 · math.CTShow all

1 paper · 2 filters

math.CT2016★ 10 cited

The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas

Tetsuya Sato

We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions.

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.