Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrzej Tarlecki

Building Specifications in an Arbitrary Institution

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Kernel Specification Formalism With Higher-Order Parameterisation

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

An Account of the Smithsonian Institution, Its Founder, Building, Operations, Etc

English

Nexus Between Political Development and Institutionalization: An Analysis of the Institution Building Approach

Pakistan Social Sciences Review

English

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming

English

Financial Management for Sustainable Administration and Institution - Building

International Letters of Social and Humanistic Sciences

English

Formal Institution Building in Financialized Capitalism: The Case of Repo Markets

Theory and Society

Political Science

English

Germany, the Problem of Leadership, and Institution-Building in EMU Reform

Journal of Economic Policy Reform

International Management

English

Green Building Standard Assessment at a Higher Education Institution

SHS Web of Conferences

English

Building Quality Assessment Into Online Courses Across the Institution

English

Institution Building and Variation in the Formation of the Australian Wool Market

Australian Economic History Review

English