|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Andreas Schäfer 0001 |
A Calculus for Shapes in Time and Space. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic |
31 | Martin Hyland |
Abstract Interpretation of Proofs: Classical Propositional Calculus. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
classical propositional calculus, category theory, proof theory |
31 | David Starobinski, Mark G. Karpovsky, Lev Zakrevski |
Application of network calculus to general topologies using turn-prohibition. |
IEEE/ACM Trans. Netw. |
2003 |
DBLP DOI BibTeX RDF |
acyclic networks, quality of service, network calculus, network stability |
31 | Martin Fränzle |
Take It NP-Easy: Bounded Model Construction for Duration Calculus. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction |
31 | Dietmar Berwanger, Erich Grädel, Giacomo Lenzi |
On the Variable Hierarchy of the Modal µ-Calculus. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
modal 7-calculus, games, descriptive complexity |
31 | Francisco Gutiérrez, Blas C. Ruiz |
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
lambda calculus with types, pure type systems, cut elimination, sequent calculi |
31 | Simon J. Gay |
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
semantics, Types, pi calculus, automatic theorem proving |
31 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral equivalence in the polymorphic pi-calculus. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
abstract data types, pi-calculus |
31 | Naijun Zhan |
Completeness of Higher-Order Duration Calculus. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
duration calculus higher-order logic interval temporal logic completeness |
31 | Viviana Bono, Amit Patel 0001, Vitaly Shmatikov |
A Core Calculus of Classes and Mixins. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin |
31 | Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi |
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract). |
CCC |
1999 |
DBLP DOI BibTeX RDF |
counting principles, graph tautologies, algebraic proof systems, binomial proofs, Nullstellensatz proofs, polynomial calculus proofs, propositional logic, Proof complexity |
31 | Louis D. Nel |
Differential calculus founded on an isomorphism. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
Categorical methods, differential calculus, differentiation theory, foundational isomorphism |
31 | Martin Gogolla |
A Note on the Translation of SQL to Tuple Calculus. |
SIGMOD Rec. |
1990 |
DBLP DOI BibTeX RDF |
relational query language, tuple calculus, SQL, database theory, formal semantics |
31 | J. Bradley |
An Extended Owner-Coupled Set Data Model and Predicate Calculus for Database Management. |
ACM Trans. Database Syst. |
1978 |
DBLP DOI BibTeX RDF |
Codasyl DBTG, DSL AlPHA, connection field, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, information bearing set name, owner-coupled set, static set, virtual set, functional dependency, dynamic set |
30 | José Espírito Santo |
Refocusing Generalised Normalisation. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
generalised elimination rules, multiarity, normalisation |
30 | Jochen Renz, Falko Schmid |
Customizing Qualitative Spatial and Temporal Calculi. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched µ-Calculi. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Philip Wadler |
Call-by-Value Is Dual to Call-by-Name - Reloaded. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Philippa Gardner, Lucian Wischik |
Explicit Fusions. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Catuscia Palamidessi |
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compiling, continuations, category theory, Galois connections |
30 | William McCune, Larry Wos |
Experiments in Automated Deduction with Condensed Detachment. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Fritz Henglein |
Type Inference and Semi-Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Maria Pamela C. David, Johnrob Y. Bantang, Eduardo R. Mendoza |
A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions. |
Trans. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
A Refined Resolution Calculus for CTL. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia |
On the Asynchronous Nature of the Asynchronous pi-Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Arthur Charguéraud, François Pottier |
Functional translation of a calculus of capabilities. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership |
30 | John Seiffertt, Donald C. Wunsch |
A quantum calculus formulation of dynamic programming and ordered derivatives. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 |
Model checking the probabilistic pi-calculus. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Linda Buisman, Rajeev Goré |
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Zoltán Csörnyei, Gergely Dévai |
An Introduction to the Lambda Calculus. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
Compositional Event Structure Semantics for the Internal pi -Calculus. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Gabriel Ciobanu, Vladimir A. Zakharov |
Encoding Mobile Ambients into the pi -Calculus. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ünal Ufuktepe, Günnur Ufuktepe, Asli Deniz, Veli Dündar |
e-Calculus at IZTECH. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
30 | René David, Karim Nour |
Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Peter Baumgartner 0001, Cesare Tinelli |
The Model Evolution Calculus with Equality. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane |
Modelling Fusion Calculus using HD-Automata. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Robert Atkey |
A lambda-Calculus for Resource Separation. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Emmanuel Polonowski |
Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
D-Fusion: A Distinctive Fusion Calculus. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Dong Yang, Shen-sheng Zhang |
Using p - calculus to Formalize UML Activity Diagram. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Broy |
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro |
A Calculus for Long-Running Transactions. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Annabelle McIver, Carroll Morgan |
Games, Probability and the Quantitative µ-Calculus qMµ. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Blackburn, Jaap Kamps, Maarten Marx |
Situation Calculus as Hybrid Logic: First Steps. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Alessio Guglielmi, Lutz Straßburger |
Non-commutativity and MELL in the Calculus of Structures. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Albert C. Esterline, Toinette Rorie |
Using the pi-Calculus to Model Multiagent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Amar Isli, Lledó Museros Cabedo, Thomas Barkowsky, Reinhard Moratz |
A Topological Calculus for Cartographic Entities. |
Spatial Cognition |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Joëlle Despeyroux |
A Higher-Order Specification of the pi-Calculus. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Jeremy Gow, Alan Bundy, Ian Green |
Extensions to the Estimation Calculus. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Maribel Fernández, Ian Mackie |
Closed Reductions in the lambda-Calculus. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia |
A Pi-Calculus with Explicit Substitutions: the Late Semantics. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Martin Odersky, Dan Rabin, Paul Hudak |
Call by Name, Assignment, and the Lambda Calculus. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Yves Bertot |
Origin Functions in Lambda-Calculus and Term Rewriting Systems. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Bent Thomsen |
A Calculus of Higher Order Communicating Systems. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
CCS |
29 | Hua Jiang, Xinxing Tan |
Bisimulations in the Boxed Safe Ambients with Password. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
mobile ambient calculus, p-calculus, model checking, computational model, process calculus |
29 | Steffen van Bakel, Maria Grazia Vigliotti |
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Michael Baldamus, Joachim Parrow, Björn Victor |
Spi Calculus Translated to ?--Calculus Preserving May-Tests. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Marino Miculan |
Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
29 | José-Luis Vivas, Mads Dam |
From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Guillaume Burel |
A First-Order Representation of Pure Type Systems Using Superdeduction. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo |
28 | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe |
Semantics for the Specification of Asynchronous Communicating Systems (SACS). |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation |
28 | Seiki Akama, Yotaro Nakayama |
A Three-Valued Semantics for Discourse Representations. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
three-valued semantics, discourse representation theory, sequent calculus LKD, identity axiom, Gentzen's LK, predicate logic formulas, Schutte valuations, natural languages, calculus, proof theory, ternary logic |
28 | Karl J. Lieberherr, Cun Xiao |
Object-Oriented Software Evolution. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
object-oriented software evolution, propagation patterns, class dictionary graph, inheritance relationships, evolution histories, growth-plans, propagation-directive calculus, formal calculus, object-oriented programming, data models, submodels |
28 | Raymond Reiter |
On knowledge-based programming with sensing in the situation calculus. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus |
27 | Iluju Kiringa |
Specifying active databases as non-Markovian theories of actions. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus |
27 | André Platzer |
Differential Dynamic Logic for Hybrid Systems. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation |
27 | Alessio Guglielmi |
A system of interaction and structure. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures |
27 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
Not Enough Points Is Enough. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
?-models, relational model, ?-calculus, non-determinism, cartesian closed categories |
27 | John Field, Carlos A. Varela |
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
distributed state, tau-calculus, transactor, actor |
27 | Jerome Vouillon |
Subtyping Union Types. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
semantics, lambda-calculus, subtyping, union types |
27 | Abdesselam Redouane |
Expressing Performance Issues in Web Application Design. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
cognitive, operational semantics, bisimulation, Pi calculus |
27 | Aleksandar Nanevski |
From dynamic binding to state via modal possibility. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
modal lambda-calculus, state, dynamic binding, effect systems |
27 | Pietro Cenciarelli |
Configuration Theories. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
configuration structures, Java, semantics, concurrency, sequent calculus |
27 | Dima Grigoriev |
Complexity of Positivstellensatz proofs for the knapsack. |
Comput. Complex. |
2001 |
DBLP DOI BibTeX RDF |
Polynomial calculus, Positivstellensatz proofs, complexity of the knapsack |
27 | Bernhard K. Aichernig |
Test-Case Calculation through Abstraction. |
FME |
2001 |
DBLP DOI BibTeX RDF |
test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus |
27 | Roberto M. Amadio, Sanjiva Prasad |
The Game of the Name in Cryptographic Tables. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
$pi$-calculus, verification, cryptographic protocols |
27 | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
Relational Expressive Power of Constraint Query Languages. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
constraint query language, database, constraints, expressive power, relational calculus |
27 | Weidong Chen |
Declarative Updates of Relational Databases. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
update algebra, update calculus, expressive power, database updates, database languages |
27 | Yue Qian, Zhonghai Lu, Wenhua Dou |
Applying network calculus for performance analysis of self-similar traffic in on-chip networks. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, network-on-chip, network calculus, self-similar traffic |
27 | Sharon Shoham, Nissim Francez |
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Game semantics, Lambek calculus |
27 | Thomas Studer |
On the Proof Theory of the Modal mu-Calculus. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Infinitary proof theory, ?-calculus |
27 | Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer |
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof |
27 | Emmanuel Beffara |
An Algebraic Process Calculus. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
testing semantics, pi-calculus, full abstraction, trace semantics, normalisation |
27 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra |
27 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
27 | Cristian Versari |
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
27 | Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen |
CyNC: a MATLAB/SimuLink toolbox for network calculus. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
modelling, real time systems, performance analysis, tools, network calculus |
27 | Florin Ciucu, Almut Burchard, Jörg Liebeherr |
Scaling properties of statistical end-to-end bounds in the network calculus. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
network service curve, stochastic network calculus, quality-of-service |
27 | Robert Veroff, Matthew Spinks |
Axiomatizing the Skew Boolean Propositional Calculus. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
skew Boolean propositional calculus (SBPC), proof sketches, axiomatization, automated deduction |
27 | Raymond T. Boute |
Calculational semantics: Deriving programming theories from equations by functional predicate calculus. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics |
27 | Paola Lecca |
A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
biochemical systems modeling, chemical kinetics simulation, gillespie algorithm, passive transport, stochastic ?-calculus |
27 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A Petri Net Translation of pi-Calculus Terms. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus |
27 | David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
Static typing for a faulty lambda calculus. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults |
27 | Maribel Fernández, Ian Mackie, François-Régis Sinot |
Lambda-Calculus with Director Strings. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Director Strings, Strategies, Calculus, Explicit Substitutions |
27 | Raymond T. Boute |
Functional declarative language design and predicate calculus: a practical approach. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics |
27 | Dragan Bosnacki |
On Some Galois Connection Based Abstractions for the Mu-Calculus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
model checking, abstraction, mu-calculus, property preservation |
27 | Paula Gouveia, Jaime Ramos |
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
specification, multi-agents, certification, knowledge, abduction, situation calculus |
27 | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation |
27 | Alberto Momigliano, Frank Pfenning |
Higher-order pattern complement and the strict lambda-calculus. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
higher-order patterns, strict ?-calculus, Complement |
Displaying result #201 - #300 of 12317 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|