Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 2 of 2

Order by Relevance | Title | Year of publication

The logic of categories of partial functions and its applications

Adam Obtułowicz — 1986

CONTENTS0. Introduction.......................................................................................................................................................................................51. Preliminaries.....................................................................................................................................................................................92. Relations and functional relations in a category.............................................................................................................................13 2.1....

Categorical, functorial and algebraic aspects of the type-free lambda calculus

Adam Obtułowicz; Antoni Wiweger — 1982

Banach Center Publications

Page 1

Download Results (CSV)