Showing
1 - 2
results of
2
for search '
Hasegawa, Masahito
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Hasegawa, Masahito
Showing
1 - 2
results of
2
for search '
Hasegawa, Masahito
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Models of sharing graphs a categorical semantics of let and letrec
by
Hasegawa
,
Masahito
Published 1999
Call Number:
Loading…
Located:
Loading…
Book
Loading…
2
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Published 2013
Other Authors:
“…
Hasegawa
,
Masahito
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer logic
Computer science
Computers
Computing Methodologies
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematical logic
Mathematics
Mathematics of Computing
Symbolic and Algebraic Manipulation
Γλώσσες προγραμματισμού
Λογική, Συμβολική και μαθηματική
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών