Ryszard Kubiak
According to our database1,
Ryszard Kubiak
authored at least 4 papers
between 1979 and 1991.
Collaborative distances:
Collaborative distances:
Timeline
1980
1982
1984
1986
1988
1990
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1991
Proceedings of the Functional Programming, 1991
Introduction to programming with specifications - a mathematical approach.
A.P.I.C. series 35, Academic Press, ISBN: 978-0-12-427620-8, 1991
1988
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
Proceedings of the VDM '88, 1988
1979