MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Application of Constructive Completeness." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

An Application of Constructive Completeness.
by Thierry Coquand, Jan M. Smith — 1995 — In Proceedings of the Workshop TYPES '95
…An Application of Constructive Completeness. Thierry Coquand Jan M. Smith September 15, 1995 DRAFT…
Cited by 3 (1 self) – Add To MetaCart

Modelling Asynchronous Applications in a Mobile Environment
by Stefania Gnesi, Laura Semini
…, for the synchronous composition of the components of an application. These constructs completely abstract…
Add To MetaCart

Application Generator: A Framework and Methodology for IS Construction
by Jen-Her Wu Tse-Chih, Jen-her Wu, Tse-chih Hsia, I-chia Chang, Sun-jen Tsai
… the application from the application generator. Once the application construction is completed, the specific…
Add To MetaCart

HLA and Simulation Frameworks
by Bent Bruun Kristensen, Ole Vilmann
… of the framework a number of related applications can be constructed. An application is constructed by completing…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB