Suchergebnisse - HASEGAWA MASAHITO

1

From Linear Logic to Cyclic Sharing von Hasegawa, Masahito

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Linear Exponential Comonads without Symmetry von Hasegawa, Masahito

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

On traced monoidal closed categories von HASEGAWA, MASAHITO

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A Braided Lambda Calculus von Hasegawa, Masahito

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Small-step and big-step semantics for call-by-need von NAKATA, KEIKO, HASEGAWA, MASAHITO

Veröffentlicht in Journal of functional programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Relational Parametricity and Control von Hasegawa, Masahito

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi von Hasegawa, Masahito

Veröffentlicht in Typed Lambda Calculi and Applications

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II von Hasegawa, Masahito, Lack, Stephen, McCusker, Guy

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I von Hasegawa, Masahito, Lack, Stephen, McCusker, Guy

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Hopf Monads on Biproducts von Hasegawa, Masahito, Lemay, Jean-Simon Pacaud

Veröffentlicht in Theory and applications of categories

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

A Terminating and Confluent Linear Lambda Calculus von Ohta, Yo, Hasegawa, Masahito

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Hopf Monads on Biproducts von Hasegawa, Masahito, Lemay, Jean-Simon Pacaud

Veröffentlicht in Theory and applications of categories

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings von Hasegawa, Masahito

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Denotational Semantics and Quantum Topology: Invited Presentation at the 11th workshop on Quantum Physics and Logic von Hasegawa, Masahito

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories von HASEGAWA, MASAHITO, KATSUMATA, SHIN-YA

Veröffentlicht in Mathematical proceedings of the Cambridge Philosophical Society

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

The Uniformity Principle on Traced Monoidal Categories von Hasegawa, Masahito

Veröffentlicht in Publications of the Research Institute for Mathematical Sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Non-determinism, Non-termination and the Strong Normalization of System T von Aschieri, Federico, Zorzi, Margherita

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

The Internal Operads of Combinatory Algebras von Hasegawa, Masahito

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Program Semantics, Category Theory... and Geometry von HASEGAWA, Masahito

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[45]

From Linear Logic to Cyclic Sharing von Hasegawa, Masahito

Linear Exponential Comonads without Symmetry von Hasegawa, Masahito

On traced monoidal closed categories von HASEGAWA, MASAHITO

A Braided Lambda Calculus von Hasegawa, Masahito

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Small-step and big-step semantics for call-by-need von NAKATA, KEIKO, HASEGAWA, MASAHITO

Relational Parametricity and Control von Hasegawa, Masahito

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi von Hasegawa, Masahito

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II von Hasegawa, Masahito, Lack, Stephen, McCusker, Guy

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I von Hasegawa, Masahito, Lack, Stephen, McCusker, Guy

Hopf Monads on Biproducts von Hasegawa, Masahito, Lemay, Jean-Simon Pacaud

A Terminating and Confluent Linear Lambda Calculus von Ohta, Yo, Hasegawa, Masahito

Hopf Monads on Biproducts von Hasegawa, Masahito, Lemay, Jean-Simon Pacaud

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings von Hasegawa, Masahito

Denotational Semantics and Quantum Topology: Invited Presentation at the 11th workshop on Quantum Physics and Logic von Hasegawa, Masahito

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories von HASEGAWA, MASAHITO, KATSUMATA, SHIN-YA

The Uniformity Principle on Traced Monoidal Categories von Hasegawa, Masahito

Non-determinism, Non-termination and the Strong Normalization of System T von Aschieri, Federico, Zorzi, Margherita

The Internal Operads of Combinatory Algebras von Hasegawa, Masahito

Program Semantics, Category Theory... and Geometry von HASEGAWA, Masahito

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle