Concepedia

R. F. C. Walters

RF

26

Publications

1.4K

Citations

15

H-Index

1968

Active since

Affiliations

The University of Sydney(Current)

University of Milan

The University of Queensland

Macquarie University

R. F. C. Walters is an author at The University of Sydney specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningLanguageSemanticsLinguisticsFormal MethodsSyntaxProgram AnalysisSoftware Analysis

Publications per year

1968–2010

26

Publications

26

Introduction to extensive and distributive categories

A. Carboni, Stephen Lack, R. F. C. Walters · Journal of Pure and Applied Algebra · 1993 · 282 citations

Distributive Categories, Language Studies, Semantic Web +5

Cartesian bicategories I

A. Carboni, R. F. C. Walters · Journal of Pure and Applied Algebra · 1987 · 281 citations

Higher Category Theory, Categorical Model, Cartesian Bicategories +1

Yoneda structures on 2-categories

Ross Street, R. F. C. Walters · Journal of Algebra · 1978 · 150 citations

Higher Category Theory, Categorical Model, Categorical Logic +1

Variation through enrichment

Renato Betti, A. Carboni, Ross Street et al. · Journal of Pure and Applied Algebra · 1983 · 135 citations

Phenomics, Data Heterogeneity, Population Genetics +2

Sheaves on sites as Cauchy-complete categories

R. F. C. Walters · Journal of Pure and Applied Algebra · 1982 · 76 citations

Higher Category Theory, Cauchy-complete Categories, Categorical Model

Rows per page

1–5 of 26